[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...
Name: EvalTaglessF.hs
Type: text/x-haskell
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 mailing list