brownplt / pyret-lang

The Pyret language.
Other
1.06k stars 106 forks source link

`<>` doesn't work in Typed Pyret #1195

Closed shriram closed 6 years ago

shriram commented 6 years ago

image

Please fix ASAP. This syntax was shown to students, so some of them will try to use it soon.

jpolitz commented 6 years ago

Fix should show up in 30 min or so.

jpolitz commented 6 years ago

This fix ended up showing up this morning, rather than last night. Release-pushing mistake on my part, sorry.