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

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