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
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
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
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
Sam Tobin-Hochstadt
477fa5581e
Store contract in Base type representation.
...
Fix tests, pattern matches.
Contract is *ignored* in equality testing.
svn: r12227
2008-11-03 23:58:29 +00:00
Sam Tobin-Hochstadt
3a99284745
New error handling for type parsing errors.
...
New error type that is both top/bot.
Fix provide handling if identifier is provided twice.
Note that require/typed is really a definition.
Fix require of #%kernel.
svn: r12083
2008-10-21 18:01:03 +00:00
Eli Barzilay
8d06e0c707
rename holder -> keep
...
svn: r11932
2008-10-04 19:10:38 +00:00
Sam Tobin-Hochstadt
49c816cfaa
Fix call to *Keyword - thanks Matthew.
...
svn: r11733
2008-09-13 22:47:52 +00:00
Sam Tobin-Hochstadt
5ac64589ba
reorg
2008-09-09 17:40:26 -04:00
