Suzanne Soy
|
9fbbe96f97
|
Merge pull request #13 from capfredf/fix-types
change polymorphic types to type constructors
|
2021-11-11 09:24:55 +00:00 |
|
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 |
|
Suzanne Soy
|
b182b94220
|
Renamed main branch
|
2021-04-04 07:23:09 +01:00 |
|
Suzanne Soy
|
f754518682
|
Changed my name :)
|
2021-03-04 20:38:13 +00:00 |
|
Georges Dupéron
|
22f9c45115
|
Updated Racket versions in .travis.yml
|
2019-04-24 22:45:41 +02:00 |
|
Georges Dupéron
|
de31adc4f0
|
Merge pull request #12 from AlexKnauth/patch-1
check tvars are ids before using free-identifier=?
|
2019-04-04 18:47:15 +02:00 |
|
Alex Knauth
|
6482fb0049
|
check tvars are ids before using free-identifier=?
|
2019-04-03 16:03:48 -04:00 |
|
Georges Dupéron
|
215036e059
|
Updated maintenance badge for 2018
|
2018-01-27 13:24:03 +01: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
|
9b6857d1a8
|
Updated badges (use new website badge)
|
2017-05-06 18:07:03 +02:00 |
|
Georges Dupéron
|
8ff2ab2530
|
Support functions of two arguments as type expanders (so that they can access the prop:type-expander? struct instance itself). Provided prop:type-expander? and prop-type-expander-ref
|
2017-05-06 18:03:41 +02:00 |
|
Georges Dupéron
|
f4ed90dd26
|
Bugfix: for some reason #lang type-expander/lang stopped to work after replacing the lang.rkt symlink, to fix #11.
|
2017-05-05 14:36:15 +02:00 |
|
Georges Dupéron
|
534de53a29
|
Fixes #1: Install fails on Windows because lang.rkt is a symbol link.
|
2017-05-05 14:31:57 +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
|
c89285f39b
|
Added contract→type
|
2017-05-04 23:02:13 +02:00 |
|
Georges Dupéron
|
41f7dc0f50
|
Squashed commits.
|
2017-04-27 22:54:34 +02:00 |
|