[Haskell-cafe] typed tagless-final interpretation examples broken with recent ghc

Mathijs Kwik mathijs at bluescreen303.nl
Sat Aug 2 15:28:15 UTC 2014

Hi all,

I've been reading up on typed tagless-final interpretations [1] and the
accompanying examples.

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.

[1] http://okmij.org/ftp/tagless-final/course/index.html

More information about the Haskell-Cafe mailing list