suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Typed Racket
980 Commits 13 Branches 1 Tag 9.2 MiB
Racket 99.6%
Scheme 0.4%
4f2a113076
Go to file
Sam Tobin-Hochstadt 4f2a113076 Eliminate expressions with dotted pre-types. 
- Now looks for (List T ...) types.
 - special handling of `map', `andmap', `ormap' when list arg is dotted
 - remove tc-dots-unit

original commit: 4c3f279ab910de4fc5a059e48025d7118c97129b
2010-06-21 18:29:57 -04:00
collects Eliminate expressions with dotted pre-types. 2010-06-21 18:29:57 -04:00