search

mietek / epigram2

Mirror of Epigram 2, by Conor McBride, et al.
https://code.google.com/p/epigram
MIT License
47 stars 7 forks source link

Capture the "being lambda lifted" invariant in Haskell #46

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
From the patch description of "DEFN references must contain fully lambda-lifted 
definitions", by Adam:

"It would be nice if we could keep track of whether a term is lambda-lifted or 
not in the Haskell type system (newtypes?)"

Did anyone experimented with that? Any gotcha?

If it can be made to work, we want it.

Original issue reported on code.google.com by pedag...@gmail.com on 22 Aug 2010 at 8:29