[Haskell-cafe] here is how I made it type check
Ahn, Ki Yung
kyagrd at gmail.com
Thu Jul 2 20:17:13 EDT 2009
I don't know if this is what you want but I was at least able to make it
to type check basically changing (fz . return) into simply return. I
think the error message about the occurs check was because of the fz
function is used wrong (or you didn't give it a correct type).
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 8647 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20090702/bcd224a5/EvalTaglessF.bin
More information about the Haskell-Cafe