suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Typed Racket
3,563 Commits 13 Branches 1 Tag 9.2 MiB
Racket 99.6%
Scheme 0.4%
6c0da3e041
Go to file
Asumu Takikawa 6c0da3e041 Check kw functions with optional arguments better 
In particular, allow the optional kws to be left out in the
expected type (a function type with fewer optional kws is
a supertype).

Closes PR 14583

original commit: 8755e625568705aa078e46e0407dd87cbbe00d89
2014-06-20 12:14:43 -04:00
pkgs/typed-racket-pkgs Check kw functions with optional arguments better 2014-06-20 12:14:43 -04:00