6 May
2009
6 May
'09
10:43 p.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