suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
11,704 Commits 17 Branches 54 Tags 278 MiB
16305c20ff
Commit Graph

410 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
16305c20ff more tests 
svn: r14685
 2009-05-02 01:45:50 +00:00
Sam Tobin-Hochstadt
b4d100d60c Fold tc/let-values/check into tc/let-values. 
Remove printfs.
More metafunctions to handle splitting and merging filter sets.
Handle `delay', `list', `list*'
Implement tc/funapp for the simple case.
Make `id-from' a stxclass.
Shuffle code around so that it compiles.
Type parsing now handles multiple values properly, and has a values and results entry point.

svn: r14680
 2009-05-01 21:18:23 +00:00
Sam Tobin-Hochstadt
91f5c26964 Add `single-value' function, should be used more. 
Construct returns correctly in lam-result->type
Add typechecking for `values' applications.
Extend `ret' to handle dty/dbound.
Define conversions from/to values <-> results
Handle multiple values at the repl.

svn: r14665
 2009-04-29 22:54:29 +00:00
Sam Tobin-Hochstadt
c5b4ac4f21 Rename id to mk-id to avoid name clashes. 
Start on new tc-app as copy.

svn: r14660
 2009-04-29 19:52:53 +00:00
Sam Tobin-Hochstadt
e79ece72c5 copy 
svn: r14659
 2009-04-29 19:38:36 +00:00
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