Sam Tobin-Hochstadt
|
3575ba8d5f
|
Remove debugging printfs.
Comment tests back in.
svn: r14748
|
2009-05-08 19:10:12 +00:00 |
|
Sam Tobin-Hochstadt
|
dbe5556b45
|
Add missing file.
Fix bug in struct type creation.
Add ability to disable printing dynamically.
Fix recursion into objects & paths.
svn: r14747
|
2009-05-08 19:00:07 +00:00 |
|
Sam Tobin-Hochstadt
|
50696a08a3
|
Handle polymorphic function application.
Paths work with car/cdr.
Fix #%require/#%provide top-level handling.
svn: r14735
|
2009-05-06 22:45:12 +00:00 |
|
Sam Tobin-Hochstadt
|
f2bffcabab
|
Sync to trunk again.
Fix require/contract.
Subtyping, printing for refinements.
svn: r14626
|
2009-04-27 18:26:00 +00:00 |
|
Sam Tobin-Hochstadt
|
1edf62a912
|
resolve conflicts
svn: r14598
|
2009-04-24 21:21:06 +00:00 |
|
Sam Tobin-Hochstadt
|
511d641b45
|
All subtype tests now pass.
svn: r13963
|
2009-03-05 00:33:48 +00:00 |
|
Sam Tobin-Hochstadt
|
84d13347d7
|
infer now compiles
svn: r13949
|
2009-03-04 18:33:29 +00:00 |
|
Sam Tobin-Hochstadt
|
c819793a82
|
more stuff works
svn: r13935
|
2009-03-04 00:13:54 +00:00 |
|
Sam Tobin-Hochstadt
|
f867eea8c3
|
take out work on paths, now compiles
svn: r13431
|
2009-02-04 20:57:28 +00:00 |
|
Sam Tobin-Hochstadt
|
3ab3c8d368
|
commit work to new branch, doesn't work yet
svn: r13427
|
2009-02-04 20:19:41 +00:00 |
|
Eli Barzilay
|
d1a0086471
|
newlines at EOFs
svn: r13105
|
2009-01-14 03:10:47 +00:00 |
|
Sam Tobin-Hochstadt
|
ea0873adb2
|
Handle top-arr in infer. Add convenience binding for function top.
svn: r12745
|
2008-12-08 18:24:33 +00:00 |
|
Sam Tobin-Hochstadt
|
35244d474e
|
revert contracts
svn: r11739
|
2008-09-13 23:51:16 +00:00 |
|
Sam Tobin-Hochstadt
|
9d53eab27d
|
contracts for infer, and keyword argument for expected
svn: r11735
|
2008-09-13 23:00:24 +00:00 |
|
Sam Tobin-Hochstadt
|
5ac64589ba
|
reorg
|
2008-09-09 17:40:26 -04:00 |
|