Matthew Flatt
|
070ed03d90
|
fix custodian problem with register-finalizer
svn: r14988
|
2009-05-26 20:01:54 +00:00 |
|
Robby Findler
|
e1374bcbd9
|
PR 10259
svn: r14986
|
2009-05-25 19:44:56 +00:00 |
|
Sam Tobin-Hochstadt
|
33587b6dd5
|
Merge in paths branch.
Includes -
- Reimplementation of core typechecking algorithm
- support for (number? (car x)) etc
svn: r14985
|
2009-05-25 17:40:46 +00:00 |
|
Kathy Gray
|
3906598b7e
|
Fixed omitted return value for terminals
svn: r14982
|
2009-05-25 15:00:09 +00:00 |
|
Sam Tobin-Hochstadt
|
d31926c434
|
sync to trunk
svn: r14978
|
2009-05-25 13:03:13 +00:00 |
|
Eli Barzilay
|
4a6eaa1dd5
|
Welcome to a new PLT day.
svn: r14977
|
2009-05-25 07:50:21 +00:00 |
|
Eli Barzilay
|
90040aac2b
|
another typo from PR10258 (less than or equal to the string length)
svn: r14976
|
2009-05-25 02:56:24 +00:00 |
|
Eli Barzilay
|
1246aeb786
|
typo (PR10258)
svn: r14975
|
2009-05-25 01:03:41 +00:00 |
|
John Clements
|
39d99a53ff
|
4.2 release
svn: r14974
|
2009-05-24 18:19:06 +00:00 |
|
Matthew Flatt
|
d051e24ef2
|
restore 4.2.0.2 change note
svn: r14973
|
2009-05-24 12:35:52 +00:00 |
|
Matthew Flatt
|
da506ae444
|
update history for 4.2 (merge/replace for 4.2)
svn: r14972
|
2009-05-24 12:35:25 +00:00 |
|
Matthew Flatt
|
2b80e7d68d
|
more random testing
svn: r14971
|
2009-05-24 12:25:28 +00:00 |
|
Matthew Flatt
|
60baa972f5
|
fix docs to match revised vector-, string-, and byte-string-alloc C functions (merge to 4.2)
svn: r14968
|
2009-05-24 11:11:47 +00:00 |
|
Matthew Flatt
|
8218da6070
|
fix some allocation sizes that used 'int' instead of 'long' (merge to 4.2)
svn: r14967
|
2009-05-24 11:05:12 +00:00 |
|
Eli Barzilay
|
68a13eacc8
|
Welcome to a new PLT day.
svn: r14966
|
2009-05-24 07:50:14 +00:00 |
|
Sam Tobin-Hochstadt
|
1b2013dd73
|
Fix error reporting when first clause is not a list.
Ok for 4.2.
svn: r14965
|
2009-05-23 23:51:52 +00:00 |
|
Sam Tobin-Hochstadt
|
ec3f69f7ba
|
sync to trunk
svn: r14964
|
2009-05-23 23:05:16 +00:00 |
|
Sam Tobin-Hochstadt
|
c1eb25e47f
|
move additional tests to test dir
svn: r14963
|
2009-05-23 23:00:23 +00:00 |
|
Robby Findler
|
148d945fbe
|
fix to work around race condition
svn: r14962
|
2009-05-23 19:45:58 +00:00 |
|
Robby Findler
|
cf5b14f626
|
svn: r14960
|
2009-05-23 15:10:55 +00:00 |
|
Matthew Flatt
|
93931723f4
|
Thomas Deniau's patch to match unix-style install work for Mac OS X mzscheme
svn: r14959
|
2009-05-23 14:04:39 +00:00 |
|
Matthew Flatt
|
351b9ffb28
|
fix repairs of MrEd Mac -h problem for XonX
svn: r14958
|
2009-05-23 13:22:46 +00:00 |
|
Mike Sperber
|
77e4a3aa29
|
PR 10257
svn: r14957
|
2009-05-23 12:21:16 +00:00 |
|
Eli Barzilay
|
b9a7dc01b8
|
scheme' is now srfi/1-free. (All delete-duplicate' requires were
not necessary.)
svn: r14956
|
2009-05-23 08:42:17 +00:00 |
|
Eli Barzilay
|
709ba05005
|
make-list from srfi/1 makes the second argument optional
svn: r14953
|
2009-05-23 07:48:59 +00:00 |
|
Eli Barzilay
|
2b7e836243
|
fix typo in examples
svn: r14952
|
2009-05-23 07:35:39 +00:00 |
|
Eli Barzilay
|
0b5a8d8123
|
typo
svn: r14951
|
2009-05-23 07:09:54 +00:00 |
|
Sam Tobin-Hochstadt
|
c27dccb9d8
|
Improve error messages and printing.
Turn off contracts.
svn: r14947
|
2009-05-22 22:30:24 +00:00 |
|
John Clements
|
9640e1571c
|
made two methods public to fix error messages
svn: r14946
|
2009-05-22 22:28:18 +00:00 |
|
Sam Tobin-Hochstadt
|
844cbc6782
|
move new-if to if.
svn: r14942
|
2009-05-22 22:06:48 +00:00 |
|
Sam Tobin-Hochstadt
|
2a55bec335
|
remove obselete code
svn: r14941
|
2009-05-22 22:05:56 +00:00 |
|
Sam Tobin-Hochstadt
|
a8ee2dc161
|
sync to trunk
svn: r14940
|
2009-05-22 21:42:46 +00:00 |
|
Sam Tobin-Hochstadt
|
a0cac4bbe5
|
turn typechecking back on.
svn: r14939
|
2009-05-22 21:41:55 +00:00 |
|
Sam Tobin-Hochstadt
|
7d239a4dfa
|
Instances can have any Type as their class.
Fix some handling of tc-results as pertains to classes.
Bottom is an ok Class.
svn: r14938
|
2009-05-22 21:41:12 +00:00 |
|
Sam Tobin-Hochstadt
|
0feb99f6bc
|
Use tc-result1: instead of tc-result: in object handling.
Use tc-results->values instead of bogus version.
svn: r14937
|
2009-05-22 21:19:46 +00:00 |
|
Sam Tobin-Hochstadt
|
e92a8dd2f5
|
Avoid spurious quoting.
Use display instead of printf.
svn: r14936
|
2009-05-22 20:23:15 +00:00 |
|
Sam Tobin-Hochstadt
|
2ee1d2b596
|
Untyped top-level variables are not an internal error.
Handle latent filter of LBot in values->tc-results when there are no formals.
Use check-below properly in tc/mono-lambda/type
svn: r14935
|
2009-05-22 20:07:36 +00:00 |
|
Sam Tobin-Hochstadt
|
23a735ee2f
|
Add contract for make-pred-ty
svn: r14934
|
2009-05-22 19:43:31 +00:00 |
|
Sam Tobin-Hochstadt
|
7237ad6046
|
Fix construction of predicate type for `declare-refinement'.
svn: r14933
|
2009-05-22 19:26:06 +00:00 |
|
Robby Findler
|
b087ce2765
|
fixed a bug in metafunctions
svn: r14932
|
2009-05-22 19:19:40 +00:00 |
|
Matthew Flatt
|
f496a353db
|
fix MrEd -h, etc. reporting under Mac OS X
svn: r14931
|
2009-05-22 19:18:07 +00:00 |
|
Sam Tobin-Hochstadt
|
7e6c1be6b0
|
Handle return of Bottom to context which expectes multiple values.
Check values length before using for/and.
Add back ormap/andmap special case for ... args.
svn: r14930
|
2009-05-22 19:09:19 +00:00 |
|
Sam Tobin-Hochstadt
|
e772687a58
|
Add unit tests for andmap of ..., Bot return to MV context
svn: r14929
|
2009-05-22 19:08:12 +00:00 |
|
Sam Tobin-Hochstadt
|
5b7249eea5
|
Add test of andmap.
svn: r14928
|
2009-05-22 19:04:22 +00:00 |
|
Robby Findler
|
611f1d1efd
|
svn: r14927
|
2009-05-22 18:45:20 +00:00 |
|
John Clements
|
0666e79327
|
...
svn: r14926
|
2009-05-22 18:40:33 +00:00 |
|
Matthew Flatt
|
d3665169e4
|
fix typo (PR 10253) (merge to 4.2)
svn: r14925
|
2009-05-22 18:29:20 +00:00 |
|
Sam Tobin-Hochstadt
|
c8828d0638
|
Fix keyword argument handling - sort of hackish.
svn: r14924
|
2009-05-22 18:18:34 +00:00 |
|
John Clements
|
142a990a46
|
eliminated extra arg to error-result construction
svn: r14923
|
2009-05-22 17:53:28 +00:00 |
|
Matthew Flatt
|
24af2c638f
|
fix Mac GC problem related to clipboard clients (merge to 4.2)
svn: r14922
|
2009-05-22 17:13:02 +00:00 |
|