[plt-scheme] typed-scheme: conditional branches and parametric polymorphism

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Thu Jan 28 12:59:05 EST 2010

2010/1/28 Jon Zeppieri <zeppieri at gmail.com>:
> ... where, although r1 and cpy are synonyms, Ok? is never applied to
> r1, so its type variables are never instantiated. This code
> typechecks.
> Is this expected behavior?

This behavior is expected, as Matthias says, but not optimal.  It
would be better if you original program just worked, and I now think I
know how to make it work.  I hope that this will be coming to Typed
Scheme near you soon, but I don't have a precise timetable.
sam th
samth at ccs.neu.edu

Posted on the users mailing list.