suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Typed Racket
2,467 Commits 13 Branches 1 Tag 9.2 MiB
Racket 99.6%
Scheme 0.4%
d27d91a4fe
Go to file
Eric Dobson d27d91a4fe Make scoped type vars work only for explict Alls and annotations. 
Solves major issue disscussed on PR 13586.
Closes PR 13622.
Solves issue when typechecking lambdas with types like (All (a) Any).
Closes PR 13596.
Closes PR 13539.
Closes PR 13703.

original commit: 01a88f8db11be5769c83f5dc561c9afd0df3c378
2013-05-25 13:01:02 -07:00
collects Make scoped type vars work only for explict Alls and annotations. 2013-05-25 13:01:02 -07:00
doc/release-notes/typed-racket Update TR history for 5.3.4. 2013-04-18 12:01:28 -04:00