[Haskell-cafe] typed tagless-final interpretation examples broken with recent ghc
mathijs at bluescreen303.nl
Sat Aug 2 15:28:15 UTC 2014
I've been reading up on typed tagless-final interpretations  and the
It seems the stuff about CPS transformations does no longer compile,
probably because of stricter typing rules. I tried both ghc 7.6 and ghc
7.8, which both give a different kind of error message. It's a bit much
and long to paste here though.
I would really like to get the example working, but couldn't manage by
only supplying type signatures. Perhaps there is some language pragma I
can turn on or off to get the old behaviour back?
The 2 files needed (no further libraries needed) are:
- http://okmij.org/ftp/tagless-final/course/TTF.hs (working)
- http://okmij.org/ftp/tagless-final/course/CPS.hs (problem)
All help would be greatly appreciated.
More information about the Haskell-Cafe