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
Eli Barzilay
5b45f76c7d
Welcome to a new PLT day.
...
svn: r17256
2009-12-10 08:50:37 +00:00
Matthew Flatt
d4aaa9cf6f
adaptive future-nursery size
...
svn: r17252
2009-12-10 02:25:46 +00:00
Sam Tobin-Hochstadt
8ef5ad42c4
fix some bugs
...
svn: r17251
2009-12-09 23:10:37 +00:00
Sam Tobin-Hochstadt
a9b36c93ae
some conversion to syntax-parse
...
svn: r17250
2009-12-09 22:51:09 +00:00
Sam Tobin-Hochstadt
cd0a94d465
sync to trunk
...
svn: r17249
2009-12-09 19:44:12 +00:00
Eli Barzilay
4e6117b9d8
Welcome to a new PLT day.
...
svn: r17247
2009-12-09 08:50:37 +00:00
John Clements
357b8cb90b
changed error message to include sizes
...
svn: r17246
2009-12-09 06:06:56 +00:00
John Clements
d18403a303
added simple example of _fun
...
svn: r17245
2009-12-09 00:06:13 +00:00
Jay McCarthy
b26bdba77d
Found a small error in in-port's handling of default arguments
...
svn: r17244
2009-12-08 22:50:43 +00:00
Robby Findler
a429c3ff8d
first attempt at randomly clicking on drscheme into drdr
...
svn: r17243
2009-12-08 22:24:38 +00:00
Eli Barzilay
48ad997f5b
switch #reader to a #lang at-exp
...
svn: r17242
2009-12-08 20:55:37 +00:00
Eli Barzilay
9d4e34e7cd
Welcome to a new PLT day.
...
svn: r17241
2009-12-08 08:50:46 +00:00
Eli Barzilay
539519bdad
Using a language makes this much cuter. Also use base64.
...
svn: r17240
2009-12-08 07:02:22 +00:00
Eli Barzilay
7f47018c47
typo
...
svn: r17239
2009-12-07 19:00:56 +00:00
Robby Findler
ce7b698956
more detail on which primitives block
...
svn: r17238
2009-12-07 18:38:46 +00:00
Sam Tobin-Hochstadt
be77cee733
Fix parsing of quoted lists in types to produce list types.
...
svn: r17237
2009-12-07 15:50:51 +00:00
Sam Tobin-Hochstadt
eae4c140fa
conversion to contracts for optional keywords
...
svn: r17236
2009-12-07 15:34:54 +00:00
Sam Tobin-Hochstadt
70f085713d
PR 10647
...
svn: r17235
2009-12-07 13:55:36 +00:00
Eli Barzilay
4b68ad9e60
Welcome to a new PLT day.
...
svn: r17234
2009-12-07 08:50:40 +00:00
Eli Barzilay
2f4d146ee8
half the size of the previous version
...
svn: r17233
2009-12-07 05:21:09 +00:00
