Eli Barzilay
b6887adfe8
minor tweaking
...
svn: r17310
2009-12-15 18:09:44 +00:00
Kevin Tew
73d2fde4af
Fix System_Child mark
...
svn: r17309
2009-12-15 16:58:16 +00:00
Robby Findler
d278ad3c86
added a clarification to the redex docs ala Carl's next post on icfp-test
...
svn: r17308
2009-12-15 16:57:37 +00:00
Robby Findler
dd18cc837f
added a clarification to the redex docs ala Carl's post on icfp-test
...
svn: r17307
2009-12-15 16:41:55 +00:00
Sam Tobin-Hochstadt
3687048bbb
use flvectors in spectralnorm-unsafe
...
Add input info for spectralnorm-unsafe
svn: r17306
2009-12-15 16:26:47 +00:00
Eli Barzilay
145ed582b3
Welcome to a new PLT day.
...
svn: r17305
2009-12-15 08:51:03 +00:00
Matthew Flatt
b0b5b5ddf6
R6RS port discloser patch
...
svn: r17304
2009-12-15 02:42:47 +00:00
Matthew Flatt
9d9e586123
finish up SRFI-98: docs and R6RS
...
svn: r17302
2009-12-15 01:21:09 +00:00
Matthew Flatt
8996c49ee9
SRFI-98 (with Windows support)
...
svn: r17301
2009-12-15 01:07:04 +00:00
Jon Rafkind
b9aa30a372
hack to disable type checking for now
...
svn: r17300
2009-12-15 00:02:22 +00:00
Matthew Flatt
87f05fed95
add #:save-errno option for foreign-function types
...
svn: r17299
2009-12-14 23:52:23 +00:00
Matthew Flatt
d13057d8c4
add psyntax as a kind of realistic-program benchmark (I'd like to have more)
...
svn: r17298
2009-12-14 23:51:09 +00:00
Matthew Flatt
9a62da5639
R6RS SRFI-14 typo fix by Andreas Rottmann
...
svn: r17297
2009-12-14 23:48:52 +00:00
Jon Rafkind
4f4a8bc7c3
minor adjustments
...
svn: r17296
2009-12-14 20:18:44 +00:00
Jon Rafkind
c2b91768cc
add reference to 'fluid-let'
...
svn: r17295
2009-12-14 20:02:18 +00:00
Sam Tobin-Hochstadt
9b13bbb89c
fix typo
...
svn: r17294
2009-12-14 20:00:12 +00:00
Jon Rafkind
1e8d979c32
add eli's parameterize explanation
...
svn: r17293
2009-12-14 19:53:48 +00:00
Matthew Flatt
294e593dd2
fix overly pessimistic 'in-naturals' when an argument is supplied
...
svn: r17292
2009-12-14 17:51:36 +00:00
Eli Barzilay
147f55b690
Welcome to a new PLT day.
...
svn: r17290
2009-12-14 08:50:37 +00:00
Matthew Flatt
cd961f4a6b
decompiler fix to indicate that unsafe-flvector-ref can be unboxed
...
svn: r17289
2009-12-13 20:13:20 +00:00
Sam Tobin-Hochstadt
3331d907ea
Add unsafe version of nbody shootout benchmark.
...
svn: r17288
2009-12-13 19:30:22 +00:00
Eli Barzilay
52aac3bf60
Welcome to a new PLT day.
...
svn: r17286
2009-12-13 09:04:58 +00:00
Sam Tobin-Hochstadt
22903bffcd
Fix handling of logical props in `tc-if'.
...
New numeric hierarchy.
Quoted lists and vectors now use the expected type, and quoted lists have (List a b c) type.
Fix some contracts.
More general handling of polymorphic function application.
Use `make-provide/contract-transformer' to generate correct blame for typed provided identifiers.
Add mutable pairs.
Use `raise-syntax-error' for better error messages in mzscheme.
Use `match*' instead of `list'
Some fixes to appease the contract checking.
Catch-all printing cases.
Use names in Base contract generation.
Types for lots of new primitives.
Move numeric primitives to their own file.
Move indexing primites to their own abstracted file.
Better error message from `define-struct:'
Fix 'insert-large-letters.ss' for new Number hierarchy.
Add `typed/scheme' and `typed/scheme/base', which use new number hierarcy types, stricter indexing types.
svn: r17284
2009-12-13 04:45:17 +00:00
Matthew Flatt
5772fa0a9f
bytecode-compiler changes to help enable flonum unboxing
...
svn: r17283
2009-12-13 04:39:46 +00:00
Sam Tobin-Hochstadt
f170b1529f
Add toolbar buttons for scribble/doc' and scribble/manual'.
...
Signed-Off-By: robby
svn: r17282
2009-12-13 03:34:01 +00:00
Sam Tobin-Hochstadt
e7e34f304c
Add match/derived' and match*/derived'.
...
Use `syntax-parse' to implement most of the match forms.
Avoid generating so much extraneous intermediate forms.
Add `go/one' for handling of `match'.
Make `cert' argument to `go' optional.
svn: r17281
2009-12-13 03:20:32 +00:00
Sam Tobin-Hochstadt
046c21b2ae
Make `make-provide/contract-transformer' available. To be used in
...
Typed Scheme's `provide'.
Signed-Off-By: sstrickl
svn: r17280
2009-12-13 03:17:51 +00:00
Sam Tobin-Hochstadt
fde17c1567
Provide more information in `hash/c' error messages.
...
Signed-Off-By: sstrickl
svn: r17279
2009-12-13 03:17:05 +00:00
Ryan Culpepper
961ece3ffe
unstable: added skip-list and interval-map
...
unstable/contract: added rename-contract
macro-debugger: switched to use interval-map for arrows
svn: r17278
2009-12-13 03:06:58 +00:00
Sam Tobin-Hochstadt
39928ff0a1
sync to trunk
...
svn: r17277
2009-12-12 23:58:25 +00:00
Sam Tobin-Hochstadt
04afe9c5cb
sync to trunk
...
svn: r17276
2009-12-12 23:58:10 +00:00
Eli Barzilay
002cfcc2d8
Welcome to a new PLT day.
...
svn: r17275
2009-12-12 08:50:36 +00:00
Matthew Flatt
ea1929841b
fix and adjust inlining metric
...
svn: r17274
2009-12-12 03:18:24 +00:00
Sam Tobin-Hochstadt
a1f647121d
Fix type of sqrt
...
svn: r17273
2009-12-11 23:08:48 +00:00
Sam Tobin-Hochstadt
d0c8a19ce8
Fix abstraction of implications.
...
Fix contract for lookup-typed/lexical.
Default cases for printing.
Abstract out indexing functions for Nat/Integer split.
svn: r17272
2009-12-11 23:00:37 +00:00
Casey Klein
4f140eed03
Metafunctions now respect caching-enabled? and set-cache-size!.
...
svn: r17271
2009-12-11 20:54:32 +00:00
Sam Tobin-Hochstadt
dde2c1fb18
fix sorting
...
svn: r17270
2009-12-11 17:09:51 +00:00
Sam Tobin-Hochstadt
3e497704aa
fix unit tests
...
svn: r17269
2009-12-11 17:01:55 +00:00
Mike Sperber
0c03246daa
Fix xref.
...
svn: r17268
2009-12-11 16:50:58 +00:00
Matthew Flatt
fb67e2610b
adjust large-file-support flag handling
...
svn: r17267
2009-12-11 12:49:46 +00:00
Eli Barzilay
55b54f920d
Welcome to a new PLT day.
...
svn: r17266
2009-12-11 08:50:42 +00:00
Sam Tobin-Hochstadt
791ec55787
fixes
...
svn: r17265
2009-12-11 00:25:59 +00:00
Sam Tobin-Hochstadt
92dbf99965
logic works properly now, it seems
...
svn: r17264
2009-12-10 23:35:28 +00:00
Sam Tobin-Hochstadt
314270113a
sync to trunk
...
svn: r17263
2009-12-10 18:35:02 +00:00
Sam Tobin-Hochstadt
16c152e5a4
revert all of the interning changes since they didn't work
...
svn: r17262
2009-12-10 17:15:17 +00:00
Sam Tobin-Hochstadt
c8c9bd0556
Add `in-bytes-lines'
...
svn: r17261
2009-12-10 17:01:53 +00:00
Kevin Tew
d339a01d04
Remove equal_counter
...
svn: r17260
2009-12-10 16:43:28 +00:00
Kevin Tew
2003de720a
Wrap place invocation with setjmp error handling
...
svn: r17259
2009-12-10 16:34:14 +00:00
Sam Tobin-Hochstadt
5767e23d87
checkpoint
...
svn: r17258
2009-12-10 15:32:17 +00:00
Robby Findler
466f56ed0d
added a for-label require
...
svn: r17257
2009-12-10 15:05:35 +00:00
