Sam Tobin-Hochstadt
|
2aab576237
|
Report more information for untyped imported identifiers
svn: r14418
|
2009-04-03 22:42:29 +00:00 |
|
Sam Tobin-Hochstadt
|
cd4305ca4f
|
Add refinement types.
Add `parse-commmand-line'
svn: r14372
|
2009-03-31 03:33:04 +00:00 |
|
Sam Tobin-Hochstadt
|
6d8014783b
|
Use 'no-free-identifier=? property with rename transformers.
Allow use of ... without bound when only one ... var in scope.
svn: r14214
|
2009-03-22 12:41:26 +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
|
e198478055
|
type keys now work, mostly
svn: r13580
|
2009-02-14 20:27:37 +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
|
5ac64589ba
|
reorg
|
2008-09-09 17:40:26 -04:00 |
|