[jhc] explanation of FrontEnd.KindInfer.constrain

Samuel Bronson naesten at gmail.com
Tue Mar 18 18:09:22 EDT 2008


I don't understand how FrontEnd.KindInfer.constrain is supposed to
deal with KindSimple constraints... it doesn't seem to have any way of
replacing ?? or ? with *. Why not?


More information about the jhc mailing list