Commit Graph

2 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
Georges Dupéron
41f7dc0f50 Squashed commits. 2017-04-27 22:54:34 +02:00