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
|
0916162928
|
Skip test-contracts-to-types on 6.4, there seems to be a problem (and I don't really want to try to find out what it is, as it works with later versions).
|
2017-05-10 16:36:24 +02:00 |
|
Georges Dupéron
|
84e1f15e5b
|
Typo, again
|
2017-05-05 03:44:55 +02:00 |
|
Georges Dupéron
|
56f58a1ddf
|
Typo
|
2017-05-05 03:38:58 +02:00 |
|
Georges Dupéron
|
cbd0addb8e
|
Small improvements to contract→type
|
2017-05-05 03:34:17 +02:00 |
|
Georges Dupéron
|
dcfb3ff987
|
Improved contract→type
|
2017-05-05 03:30:42 +02:00 |
|
Georges Dupéron
|
41f7dc0f50
|
Squashed commits.
|
2017-04-27 22:54:34 +02:00 |
|