suzanne.soy/type-expander
1
0
Fork 0
Code Issues 8 Pull Requests Actions Packages Projects Releases Wiki Activity

change polymorphic types to type constructors #13

Merged
capfredf merged 1 commits from fix-types into main 2021-11-11 09:24:56 +00:00
Conversation 4 Commits 1 Files Changed 1 +56 -57

1 Commits

Author SHA1 Message Date
Fred Fu
a56777e97c change polymorphic types to type constructors 
this fix ensured the code to be forward compatible with
the upcoming TR's [kind system](https://github.com/racket/typed-racket/pull/1143)
 2021-11-05 13:39:24 -04:00