suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Typed Racket
3,700 Commits 13 Branches 1 Tag 9.2 MiB
Racket 99.6%
Scheme 0.4%
5f0b741571
Go to file
Asumu Takikawa 5f0b741571 Fix a bug in typechecking kw function application 
Mandatory kw arguments in function types could confuse
the typechecker when the function had the
`syntax-procedure-converted-arguments-property` property
set.

original commit: a70588ac4fa27fc7c69b8901be8f129802db05d7
2014-10-20 02:50:24 -04:00
pkgs/typed-racket-pkgs Fix a bug in typechecking kw function application 2014-10-20 02:50:24 -04:00