-
chak@cse.unsw.edu.au. authored
TH: Revised type variable handling in toplevel decls (became necessary due to recent addition of foralls in type representations).
a714f235
TH: Revised type variable handling in toplevel decls (became necessary due to recent addition of foralls in type representations).