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
Sam Tobin-Hochstadt
cc1265fc61
Fix contract on App.
...
Fix function construction for rec-lambda/check
Re-enable printing.
svn: r13687
2009-02-17 01:09:23 +00:00
Sam Tobin-Hochstadt
14475467b2
contracts on types and effects
...
svn: r13685
2009-02-17 00:43:47 +00:00
Sam Tobin-Hochstadt
347035fae9
sync to trunk
...
svn: r13683
2009-02-16 23:23:35 +00:00
Sam Tobin-Hochstadt
c7809e5838
Use stxclass for require/opaque-type
...
svn: r13682
2009-02-16 23:06:23 +00:00
Sam Tobin-Hochstadt
54d17355c3
Use stxclass for `require/typed'.
...
svn: r13658
2009-02-16 14:16:36 +00:00
Sam Tobin-Hochstadt
eba3b5d54d
docs for provide:
...
svn: r13645
2009-02-16 02:29:33 +00:00
Sam Tobin-Hochstadt
3205875736
Add provide:
...
svn: r13643
2009-02-16 02:23:50 +00:00
Sam Tobin-Hochstadt
02efc28dff
Fix error message when polymorphic inference fails because of expected type.
...
Add test case.
svn: r13639
2009-02-16 02:12:13 +00:00
Sam Tobin-Hochstadt
24e4cf5aca
Merge in changes from type-keys branch:
...
- Use stxclass for defintern/dt/de
- Add type keys to optimize subtyping
- Fancier printing when regular printing is disabled for debugging.
- Caching of the results of subtyping.
- Contracts for hashtable types (still insufficent)
- add type for `last-pair' from `scheme/list'
- new "private/type-abbrev.ss" which contains things
from "private/type-effect-convenience.ss" that don't
need subtyping/unions
- Don't use the real union constructor on mu unfolding
- more work on (not yet enabled) stxclass type parser
- Naming sanity in tests
svn: r13628
2009-02-15 22:56:14 +00:00
Sam Tobin-Hochstadt
bf1aaa9dcb
add contract conversion for hashtables
...
svn: r13617
2009-02-15 21:55:03 +00:00
Sam Tobin-Hochstadt
ed83737d5f
subtype caching
...
svn: r13615
2009-02-15 21:30:02 +00:00
Sam Tobin-Hochstadt
345abb820b
Use stxclass for defintern.
...
Use stxclass for dt and de, and refactor/simplify.
Don't use the real union for unfolding mu types.
Add some descriptions to syntax classes for type parsing.
svn: r13597
2009-02-15 04:01:30 +00:00
Sam Tobin-Hochstadt
7830091d42
re-enable printing
...
svn: r13581
2009-02-14 20:48:26 +00:00
Sam Tobin-Hochstadt
e198478055
type keys now work, mostly
...
svn: r13580
2009-02-14 20:27:37 +00:00
Sam Tobin-Hochstadt
e13c4b690d
new branch initial commit
...
svn: r13578
2009-02-14 16:03:25 +00:00
Ryan Culpepper
44efc7cb48
stxclass:
...
fixed scoping of attributes (wrt declare)
added 'attribute' form
added internal/external literals form
svn: r13574
2009-02-14 12:17:14 +00:00
Sam Tobin-Hochstadt
e61075a4fd
Default types for lambda formals.
...
svn: r13539
2009-02-12 23:55:53 +00:00
Sam Tobin-Hochstadt
8802b83c0a
typed-scheme
...
- use syntax classes for tc-literal
- remove one-armed if
- fix comments
- use syntax classes for find-annotation
- unit contracts for inference unit and typechecker unit
- macro to enable/disable unit contracts
- correct fold/free-var calculation for latent effects
- documentation improvements
- add bindings for additional special type forms
- U and Un are the same binding, same with Tuple and List
- fix types for integer?, exact-integer?
- write not-yet-enabled syntax-class based type parser
svn: r13440
2009-02-04 23:39:38 +00:00
Sam Tobin-Hochstadt
9f77daab41
fix expr attribute
...
svn: r13438
2009-02-04 23:07:09 +00:00
