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
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
Sam Tobin-Hochstadt
a0f275502d
merge from trunk
...
svn: r13863
2009-02-27 00:16:53 +00:00
Eli Barzilay
d10cdccca9
fix bitwise ops
...
svn: r13850
2009-02-26 14:04:39 +00:00
Sam Tobin-Hochstadt
ea86a63e80
move subtype.ss
...
svn: r13815
2009-02-24 16:23:16 +00:00
Sam Tobin-Hochstadt
af3449cf56
more file moving
...
svn: r13797
2009-02-23 03:02:00 +00:00
Sam Tobin-Hochstadt
a197c1b961
new directory
...
svn: r13796
2009-02-23 02:53:39 +00:00
Sam Tobin-Hochstadt
7020ff07a5
finished resolve-type
...
svn: r13786
2009-02-22 00:03:41 +00:00
Sam Tobin-Hochstadt
0343ae06f3
Remove macro-debugger require.
...
Use `this-syntax'
More contract renamers
Finish type-abbrev.ss
svn: r13785
2009-02-21 23:55:32 +00:00
Sam Tobin-Hochstadt
a1fb696233
type-utils.ss now compiles
...
svn: r13782
2009-02-21 20:19:44 +00:00
Sam Tobin-Hochstadt
b57c78e0a4
finished implementing printing
...
svn: r13779
2009-02-21 18:31:23 +00:00
Sam Tobin-Hochstadt
b14da998bf
rename printer file
...
svn: r13778
2009-02-21 18:08:11 +00:00
Sam Tobin-Hochstadt
85de5f27bf
checkpoint
...
svn: r13777
2009-02-21 18:07:07 +00:00
Sam Tobin-Hochstadt
99f678e1ba
merge ryan's changes
...
svn: r13773
2009-02-21 17:07:29 +00:00
Sam Tobin-Hochstadt
50f513be41
printer now compiles
...
svn: r13772
2009-02-21 17:07:19 +00:00
Sam Tobin-Hochstadt
70e174c0e1
Type rep compiles
...
svn: r13768
2009-02-21 15:23:42 +00:00
Sam Tobin-Hochstadt
0edfd7f31f
Finished new representation defs and folding.
...
New definition of `define-requirer' that doesn't use lib requires.
New `defprinter' syntax.
svn: r13755
2009-02-20 23:35:02 +00:00
Sam Tobin-Hochstadt
428e7c471b
checkpoint
...
svn: r13749
2009-02-19 21:28:41 +00:00
Sam Tobin-Hochstadt
72ff13bea9
new function representation
...
svn: r13744
2009-02-19 17:39:19 +00:00
Sam Tobin-Hochstadt
e5e0adb499
checkpoint again
...
svn: r13735
2009-02-19 01:39:11 +00:00
Sam Tobin-Hochstadt
26fe69d9a7
fix some strange stxclass strangeness
...
svn: r13722
2009-02-18 04:31:28 +00:00
Ryan Culpepper
59727cc4bc
stxclass: added and- and or-patterns, box and vector patterns
...
svn: r13721
2009-02-18 04:01:52 +00:00
Sam Tobin-Hochstadt
c0861fd39b
checkpoint again
...
svn: r13718
2009-02-18 02:58:47 +00:00
Sam Tobin-Hochstadt
7d5581b06f
move
...
svn: r13716
2009-02-18 01:58:11 +00:00
Sam Tobin-Hochstadt
a8a9af73d8
checkpoint
...
svn: r13715
2009-02-18 00:28:01 +00:00
Sam Tobin-Hochstadt
00ff608247
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
2009-02-17 17:30:30 +00:00
