7 May
2009
7 May
'09
6:43 a.m.
Hi all, I'm also having the same error as Kellen. Occurs check: cannot construct the infinite type: s = s -> t When generalising the type(s) for `torus' Günther