Sam Tobin-Hochstadt
|
b205f65bec
|
more testing
svn: r14655
|
2009-04-29 16:58:20 +00:00 |
|
Sam Tobin-Hochstadt
|
6662b72162
|
Fix reconstruction of Latents, which do not have keys.
svn: r14652
|
2009-04-29 14:35:52 +00:00 |
|
Sam Tobin-Hochstadt
|
ea03a75113
|
Fix p/c handling of rename.
svn: r14651
|
2009-04-29 14:35:26 +00:00 |
|
Sam Tobin-Hochstadt
|
ce0032f4c5
|
a couple small fixes
svn: r14643
|
2009-04-28 18:53:16 +00:00 |
|
Sam Tobin-Hochstadt
|
7b6702c9e7
|
fix subtyping w/ filters
svn: r14640
|
2009-04-28 14:56:18 +00:00 |
|
Sam Tobin-Hochstadt
|
077574cfe1
|
more fixes for lambda with expected
svn: r14639
|
2009-04-28 14:48:53 +00:00 |
|
Sam Tobin-Hochstadt
|
9118e9ef12
|
Fixes for letrec.
svn: r14638
|
2009-04-28 14:24:09 +00:00 |
|
Sam Tobin-Hochstadt
|
5a49e92de7
|
lots of let improvements
and check rationalization
svn: r14635
|
2009-04-27 23:25:34 +00:00 |
|
Sam Tobin-Hochstadt
|
2e2e9b8acf
|
fixes for plambda
svn: r14634
|
2009-04-27 22:44:42 +00:00 |
|
Sam Tobin-Hochstadt
|
dfbfc371e2
|
more printer improvements
svn: r14633
|
2009-04-27 22:24:47 +00:00 |
|
Sam Tobin-Hochstadt
|
af7b966c82
|
more contracts
more fixes
svn: r14632
|
2009-04-27 21:58:35 +00:00 |
|
Sam Tobin-Hochstadt
|
9853ae1f0f
|
Lots more fixes
svn: r14631
|
2009-04-27 21:16:34 +00:00 |
|
Sam Tobin-Hochstadt
|
4d8ba2bca6
|
use correct constructor
svn: r14630
|
2009-04-27 20:15:14 +00:00 |
|
Sam Tobin-Hochstadt
|
18f89c73e4
|
two fixes
svn: r14629
|
2009-04-27 20:11:57 +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
|
8cbdf3ee95
|
compiles again
svn: r14625
|
2009-04-27 16:06:54 +00:00 |
|
Sam Tobin-Hochstadt
|
994f0205f4
|
fix conflicts
svn: r14601
|
2009-04-24 21:30:18 +00:00 |
|
Sam Tobin-Hochstadt
|
1edf62a912
|
resolve conflicts
svn: r14598
|
2009-04-24 21:21:06 +00:00 |
|
Sam Tobin-Hochstadt
|
ebdd60a3a3
|
fix some small bugs
svn: r14352
|
2009-03-30 12:51:02 +00:00 |
|
Sam Tobin-Hochstadt
|
fcc2a24545
|
sync ts to trunk
svn: r14257
|
2009-03-25 01:07:34 +00:00 |
|
Sam Tobin-Hochstadt
|
537d267314
|
disable application checking, `3' now typechecks
svn: r14128
|
2009-03-16 15:28:29 +00:00 |
|
Sam Tobin-Hochstadt
|
f1840f4eeb
|
sync to trunk
svn: r14074
|
2009-03-12 15:28:19 +00:00 |
|
Sam Tobin-Hochstadt
|
c4f5fd3773
|
more work on lambda
svn: r14073
|
2009-03-12 15:27:24 +00:00 |
|
Sam Tobin-Hochstadt
|
c51dd1e8b0
|
new version of abstract-filters that handles multiple values/arguments properly
strengthen contracts
improve match expanders
svn: r14057
|
2009-03-11 19:11:50 +00:00 |
|
Sam Tobin-Hochstadt
|
058e78ab17
|
tc-lambda-unit now compiles
generalize tc-results to handle drest
svn: r14044
|
2009-03-11 00:15:13 +00:00 |
|
Sam Tobin-Hochstadt
|
79ee9fbee8
|
Correctly report syntax def from define-struct:
Add alias in type env when rename transformer is used.
svn: r14034
|
2009-03-10 20:29:02 +00:00 |
|
Sam Tobin-Hochstadt
|
8b7497cccf
|
everything except lambda, app units work
svn: r14008
|
2009-03-07 23:19:41 +00:00 |
|
Sam Tobin-Hochstadt
|
18e03efc84
|
New true-filter and false-filter abbrevs
Fix for Stevie's d-s/c fix.
tc-expr now compiles
svn: r14007
|
2009-03-07 22:51:54 +00:00 |
|
Sam Tobin-Hochstadt
|
2dbd82e587
|
Add provides
Use Type/c instead fo Type? in contracts
New if typechecking.
match expanders for tc-result.
svn: r13996
|
2009-03-06 22:25:19 +00:00 |
|
Sam Tobin-Hochstadt
|
aa32d9b928
|
fix bugs
add env+
svn: r13994
|
2009-03-06 21:27:05 +00:00 |
|
Sam Tobin-Hochstadt
|
d293635cb7
|
combine-filter
update
svn: r13992
|
2009-03-06 20:54:39 +00:00 |
|
Sam Tobin-Hochstadt
|
e2a017f331
|
fix typo
svn: r13989
|
2009-03-06 19:51:33 +00:00 |
|
Sam Tobin-Hochstadt
|
6c30e2d9e7
|
Remove some old debugging printfs in soon-to-be-dead code.
Fix some requires.
Start implementing metafunctions.
Strengthen contracts on filter-sets.
Rename N B Sym.
svn: r13988
|
2009-03-06 19:50:42 +00:00 |
|
Sam Tobin-Hochstadt
|
511d641b45
|
All subtype tests now pass.
svn: r13963
|
2009-03-05 00:33:48 +00:00 |
|
Sam Tobin-Hochstadt
|
147cac076c
|
handle subtyping for varargs functions
svn: r13962
|
2009-03-05 00:09:43 +00:00 |
|
Sam Tobin-Hochstadt
|
00721c10c8
|
all of private, and tc-structs, now compiles
svn: r13956
|
2009-03-04 19:49:20 +00:00 |
|
Sam Tobin-Hochstadt
|
e53a851bc2
|
base-env now compiles
svn: r13954
|
2009-03-04 19:28:48 +00:00 |
|
Sam Tobin-Hochstadt
|
37aa9746ea
|
more stuff compiles
svn: r13952
|
2009-03-04 18:53:37 +00:00 |
|
Sam Tobin-Hochstadt
|
78fe918457
|
env now compiles
svn: r13950
|
2009-03-04 18:39:19 +00:00 |
|
Sam Tobin-Hochstadt
|
84d13347d7
|
infer now compiles
svn: r13949
|
2009-03-04 18:33:29 +00:00 |
|
Sam Tobin-Hochstadt
|
7847d35842
|
undo this move
svn: r13947
|
2009-03-04 16:37:00 +00:00 |
|
Sam Tobin-Hochstadt
|
e8fa7fd4dd
|
more movement
svn: r13945
|
2009-03-04 16:32:50 +00:00 |
|
Sam Tobin-Hochstadt
|
c819793a82
|
more stuff works
svn: r13935
|
2009-03-04 00:13:54 +00:00 |
|
Sam Tobin-Hochstadt
|
9d0ee637c7
|
Fix name of Type/c
Fix fold on Result.
Add comments.
New -struct constructor with opt args.
Fix tests to agree with contracts.
svn: r13934
|
2009-03-03 23:18:00 +00:00 |
|
Sam Tobin-Hochstadt
|
f05fcfcf13
|
all of types/ now compiles
everything that doesn't use Un out of convenience.ss
added -out form for requires
svn: r13931
|
2009-03-03 22:45:57 +00:00 |
|
Sam Tobin-Hochstadt
|
44902149cb
|
convenience now compiles
svn: r13930
|
2009-03-03 22:30:08 +00:00 |
|
Sam Tobin-Hochstadt
|
bbfb99bc77
|
More file movement
svn: r13929
|
2009-03-03 22:26:15 +00:00 |
|
Sam Tobin-Hochstadt
|
20628199f5
|
union.ss compiles
svn: r13927
|
2009-03-03 21:55:11 +00:00 |
|
Sam Tobin-Hochstadt
|
0eda7878d5
|
fix make-arr
svn: r13926
|
2009-03-03 21:53:26 +00:00 |
|
Sam Tobin-Hochstadt
|
eaf15594c0
|
subtype.ss now compiles
svn: r13901
|
2009-03-03 01:24:06 +00:00 |
|