Sam Tobin-Hochstadt
6a8ae14330
Finished new representation defs and folding.
...
New definition of `define-requirer' that doesn't use lib requires.
New `defprinter' syntax.
svn: r13755
original commit: 0edfd7f31f8e85b7d0176c28baebeae22e34de00
2009-02-20 23:35:02 +00:00
Sam Tobin-Hochstadt
2183983a1b
Move contract-enabling code to utils/utils
...
Move `cnt' signature form to utils/utils, controlled by same boolean.
Use `w/c' and `p/c' to enable/disable contracts in dt/de.
Contract for `ret'.
svn: r13699
original commit: 00ff608247134f49ffecae576c90df40dacf7143
2009-02-17 17:30:30 +00:00
Sam Tobin-Hochstadt
801180afdc
Fix contract on App.
...
Fix function construction for rec-lambda/check
Re-enable printing.
svn: r13687
original commit: cc1265fc614c972006eea18ba56e579c03e4abd2
2009-02-17 01:09:23 +00:00
Sam Tobin-Hochstadt
ab20aa8d85
contracts on types and effects
...
svn: r13685
original commit: 14475467b2c7b84d240b48fb3cc62f4d31a484bf
2009-02-17 00:43:47 +00:00
Sam Tobin-Hochstadt
b0da5d65da
re-enable printing
...
svn: r13581
original commit: 7830091d42fc7204957a9947d52ad7999d4abd6b
2009-02-14 20:48:26 +00:00
Sam Tobin-Hochstadt
fe0a947bb0
type keys now work, mostly
...
svn: r13580
original commit: e198478055f13631ec9ab6154edcf71c6c3f7ef3
2009-02-14 20:27:37 +00:00
Sam Tobin-Hochstadt
cfab8a698f
commit work to new branch, doesn't work yet
...
svn: r13427
original commit: 3ab3c8d3685d30c827c600d93a0930eff7e1902d
2009-02-04 20:19:41 +00:00
Eli Barzilay
9f15554e02
newlines at EOFs
...
svn: r13105
original commit: d1a0086471bf5e9553a9b056b26286c427831d38
2009-01-14 03:10:47 +00:00
Sam Tobin-Hochstadt
3082052ffb
Remove stray printf.
...
svn: r12147
original commit: d60ae208e12a72c0788cb907b6870e3d748351e0
2008-10-27 20:04:41 +00:00
Sam Tobin-Hochstadt
f24c93b475
Add `warn-unreachable'
...
svn: r12145
original commit: 5db61f199fff5b2a8c0d8595de984184336a5bac
2008-10-27 20:02:34 +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
