suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4,236 Commits 13 Branches 1 Tag 9.2 MiB
5f39bb3647
Commit Graph

1 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
9a2b74dc33 Generate trivial constraints for missing type variables. 
If the type variable isn't mentioned anywhere, then just
pick `Any` as its substitution.

Fixes #152.
 2015-06-23 16:08:23 -04:00