Eli Barzilay
a2f34edb53
rename holder -> keep
...
svn: r11932
original commit: 8d06e0c707295a6dee60e722dfafe40c4e2d7992
2008-10-04 19:10:38 +00:00
Sam Tobin-Hochstadt
e7bc490d7f
Fix error in use of tc-error/delayed.
...
Fix expansion of with-handlers:
add test
svn: r11875
original commit: cd6a37ff4c83505ceef5fbc747235160d03d2aee
2008-09-25 19:35:00 +00:00
Sam Tobin-Hochstadt
bd6862fae4
fix type of assq
...
svn: r11872
original commit: 77e9b026b3a50d6430b4120e40dce511a5e26e7e
2008-09-25 15:56:55 +00:00
Eli Barzilay
4a09a3f669
set svn:eol-style
...
svn: r11858
original commit: 943b22ebeb4332039d7fc587b15fe83e27d5c18d
2008-09-24 20:08:05 +00:00
Sam Tobin-Hochstadt
28ca599959
Reorg to separate out files.
...
svn: r11857
original commit: 15e7be91f5bd27294be48d4d22bb15ef0e5b7d16
2008-09-24 19:56:48 +00:00
Sam Tobin-Hochstadt
21ca4c1d01
Fix delay/force.
...
svn: r11841
original commit: 917307bd2e8f8dccad9bfcc27261f30e19cc87cb
2008-09-22 21:37:13 +00:00
Sam Tobin-Hochstadt
86b8ec148b
add char?
...
svn: r11838
original commit: 091089f27d032478d745283e897036d8974ec2d5
2008-09-22 18:37:48 +00:00
Sam Tobin-Hochstadt
d417ac6a55
Catch error before internal error, more informative internal error.
...
svn: r11837
original commit: 88d44f9c5b37b17e43cac04d918eff5a34870334
2008-09-22 18:35:24 +00:00
Sam Tobin-Hochstadt
c08c477ba6
provide tc-result? for contracts
...
svn: r11734
original commit: 302e28da620581ce928a346e43f9d3109c694f0c
2008-09-13 22:48:19 +00:00
Sam Tobin-Hochstadt
2b288b2582
Add eof and read-accept-reader.
...
Fix find-mutated-vars
original commit: 7cf9b36c1501aa994d29e1bbd61b1785b5e92655
2008-09-11 09:01:49 -04:00
Sam Tobin-Hochstadt
f54d163224
reorg
...
original commit: 5ac64589baffabf3e7045e5c0c877a1c484207ea
2008-09-09 17:40:26 -04:00
Sam Tobin-Hochstadt
53e3814a54
Improve errors.
...
original commit: 8df7a464931969dd782f3efe6db7e322643be2f4
2008-09-08 13:27:38 -04:00
Sam Tobin-Hochstadt
8701782f17
more stuff works
...
original commit: a1825082df673c1fd4bf8e288230c63bb142d9f3
2008-09-05 16:52:00 -04:00
Sam Tobin-Hochstadt
9a357ebf84
Fixed printing for new rep.
...
Handle mandatory and optional keyword args.
original commit: 801156229a9a8498f9860aed405b3a61ed252d03
2008-09-04 17:59:36 -04:00
Sam Tobin-Hochstadt
f4eec91021
New representation that accomodates mandatory and optional keyword args.
...
original commit: 79e3a0c4c68070d6a558a006d70c326f4ee2d28a
2008-09-04 17:02:33 -04:00
Sam Tobin-Hochstadt
aa2a031828
progress
...
original commit: 85a0fa22d10e17df8a9d0dc1dcff56c2cc9a43a2
2008-09-02 20:25:23 -04:00
Sam Tobin-Hochstadt
7b3ad3a27f
start on keywords
...
original commit: a8417c7c1c5eaa5996caab91fc150b901669a9e8
2008-08-29 18:23:59 -04:00
Sam Tobin-Hochstadt
b0817bce2a
Better error messages for require/opaque-type
...
svn: r11341
original commit: d546d6e045b10fa5e433800378ee6f75d96ede9c
2008-08-19 19:48:24 +00:00
Sam Tobin-Hochstadt
84dd8c4d51
Print struct names without [].
...
svn: r11340
original commit: 79b4f2d078f09f89ecc5a12d0fc179bb4ffb77c5
2008-08-19 19:40:38 +00:00
Sam Tobin-Hochstadt
ec6c2bde88
Fix handling of `, delay, and this-language using Matthew's advice
...
svn: r11127
original commit: 513174a2bd9274cd73a24fb12153e3386432945c
2008-08-07 19:05:32 +00:00
Sam Tobin-Hochstadt
fee0250ffb
Fix typo
...
svn: r11113
original commit: 44e0c09d75e10fc4d3cd9e21ad60fd24e41d23c5
2008-08-06 20:47:28 +00:00
Sam Tobin-Hochstadt
6f4fa61276
Add types for char comparison functions.
...
svn: r11085
original commit: 5f787a63d499fe32dfbc1d11d2ba8e48a4a9323f
2008-08-05 18:17:27 +00:00
Sam Tobin-Hochstadt
50bf0a65a4
fix some dumb bugs
...
svn: r11082
original commit: ad2b2b31995ea2ef7c5b0f65b240b90cc3808bf2
2008-08-05 15:05:25 +00:00
Sam Tobin-Hochstadt
4f7c6aff6a
Fix bug 9649.
...
svn: r11029
original commit: 28c5e71b01454eda4328a8abceed12f11aaeb865
2008-08-01 20:57:48 +00:00
Sam Tobin-Hochstadt
10735f4a35
Allow ... rest variables to be used as lists.
...
Bind Values as a type.
svn: r11010
original commit: fa857a40acbb475ca2c2ab3b40d02c547d798129
2008-07-31 19:26:46 +00:00
Stevie Strickland
f76a46dc8c
Add the forall Unicode symbol as an acceptable replacement for the
...
All type constructor.
svn: r10797
original commit: 91291ba2bc31e599ec703b5bdd091a6238ce6c71
2008-07-16 17:37:05 +00:00
Stevie Strickland
a42d2b6dd9
Add filter-map to base-env.ss
...
original commit: 39c343ec18dc9a850e1461869979a7c06e8d05b4
2008-07-15 00:33:14 -04:00
Sam Tobin-Hochstadt
18810e108a
logging
...
original commit: 2866efd3485b19c98dd858b1db7e09928f0213c6
2008-07-14 08:48:14 -04:00
Sam Tobin-Hochstadt
d77d7ba57f
Fix handling of mutable structs (setters != getters)
...
Allow use of #:mutable as define-typed-struct arg
Fix types of random andmap ormap
original commit: 2456dcc18b10a10a7bad3b1f9af8e33fad03231f
2008-07-13 17:31:58 -04:00
Eli Barzilay
362100e41e
* Newlines at EOFs
...
* Another big chunk of v4-require-isms
* Allow `#lang framework/keybinding-lang' for keybinding files
* Move hierlist sources into "mrlib/hierlist", leave stub behind
svn: r10689
original commit: 7d50e61c7f6831936e13e6af5140db65db18fe1c
2008-07-09 07:18:06 +00:00
Sam Tobin-Hochstadt
89696cbcd4
Finally found a nasty bug involving variables not appearing in the hash table.
...
original commit: b835002d72e06f13991ea4adbc6d052fa6fe0c0e
2008-07-07 19:21:42 -04:00
Sam Tobin-Hochstadt
ea5d2b8f5f
Add require of scheme/promise for force.
...
Handle call-with-values more appropriately.
original commit: 589ba9d77a6d120f5cf0ebcc926518db69d391bf
2008-07-07 16:43:12 -04:00
Sam Tobin-Hochstadt
13384db457
make-Values now checks its argument for having only 1 element
...
original commit: 2844dec0a109157a05db51e8494d3f317c96c379
2008-07-07 14:58:22 -04:00
Sam Tobin-Hochstadt
e8621eecf0
Fix up singleton values
...
original commit: d0939ffa1e57894a076bfd6326c4d977cfdf3e2e
2008-07-07 14:49:46 -04:00
Sam Tobin-Hochstadt
bbb3e251f8
More info in internal errors.
...
Fix substitution in nested ... case.
original commit: 61cefef89c8120ffc46d9cc9095637d8337c924e
2008-07-07 14:25:15 -04:00
Sam Tobin-Hochstadt
6fac649e7a
remove trace
...
original commit: e06a22c29b3e36cc4f51822b3d4b8ddcff6d682e
2008-07-07 12:27:08 -04:00
Sam Tobin-Hochstadt
70d1b6b497
values with dots
...
original commit: c43c3baa67512954b0f2e477aafde6f8461bd99a
2008-07-07 11:01:42 -04:00
Stevie Strickland
028aeadc4b
Revert last change.
...
original commit: a6ea8d79543ba3db69a859700dde9c78d583dd8b
2008-06-20 15:47:56 -04:00
Sam Tobin-Hochstadt
34df17ddb4
Use the X from cgen/list to create the empty cmap.
...
This allows (vector) to have type (Vectorof (U))
original commit: 0366745cbf3e8308b9700305c7e187aa260119ba
2008-06-20 15:27:46 -04:00
Sam Tobin-Hochstadt
53200d23db
* Added code to check that substitution gets rid of all appropriate
...
variables (and fails if not)
* Added weird dotted as subtype of * case (dcon-exact)
original commit: 6296ffbfcf85a624227f11f486fb195954e4479b
2008-06-20 13:07:08 -04:00
Stevie Strickland
ee044ee4c4
* Add the ability to substitute in starred types for dotted when
...
we've inferred it.
* Try and consolidate a lot of the error printing with domain mismatches.
original commit: 654d7e2f4683f65ba7d0a12491d4b3b834bd70f3
2008-06-19 19:14:32 -04:00
Sam Tobin-Hochstadt
6a3dbebd07
Do substitution properly from dmap.
...
original commit: 0f142d97e3d2d995fa18f694e211cbdabf814bbf
2008-06-19 18:04:19 -04:00
Sam Tobin-Hochstadt
8338ee8756
* Add constraints when matching t1...a to t2...b
...
* Do inference when you have (apply f ... xs), f and xs are dotted,
and on different bounds.
* Add fold-right to extra-procs and its type to base-env
original commit: b9e1676a55ab3f8d454a58aa290a0dcb0ecce414
2008-06-19 16:55:06 -04:00
Sam Tobin-Hochstadt
da03725d19
* Split apart identifier typechecking and type instantiation
...
* Add dotted instantiation (replacing bounds with different bounds)
* Fix some macro issues, including syntax locations
* Fix more effect inference
original commit: bb8d8e23d81c7f1324d1bfc8b33882fc71f94503
2008-06-19 14:57:35 -04:00
Sam Tobin-Hochstadt
3aeffe3d9f
Fix filter type.
...
svn: r10374
original commit: 1880eb4afbbc5044d9643038cec7338f3051bc24
2008-06-19 16:07:12 +00:00
Sam Tobin-Hochstadt
3ea5cf0e61
Fix type of filter, and inference w/ effects.
...
original commit: 3fd969651fbb7c90983ae76542c80391624e1f39
2008-06-19 11:57:07 -04:00
Sam Tobin-Hochstadt
7f4b1a5cd1
Fix macro impl.
...
original commit: 23aeff8c3bdc57442164d9865411f867917b7448
2008-06-19 11:12:32 -04:00
Stevie Strickland
f939f616f5
Lift out the recursive call, since that'll be shared across all substitutions.
...
original commit: f68efe9e317a53de87a4acb7e15875f4364044b7
2008-06-18 23:48:31 -04:00
Stevie Strickland
156c0d0d38
I'm not sure what to do about this, given the recursive sb call.
...
original commit: 51ec643172e3893701b2a68ca7a5430ddac7ee8c
2008-06-18 18:53:46 -04:00
Stevie Strickland
395e0fc733
Otherwise we don't handle nesting.
...
original commit: 052849c1bbca03cd4aa778665da87f919959c48f
2008-06-18 18:09:50 -04:00
