Improve External Core syntax for newtypes
authorTim Chevalier <chevalier@alum.wellesley.edu>
Tue, 22 Apr 2008 04:52:44 +0000 (04:52 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Tue, 22 Apr 2008 04:52:44 +0000 (04:52 +0000)
commite4417dcd4679da9c6b18c02ff667199c572bed89
tree15d86a521657eaa8288f4649756882da47cc8696
parent9f565a397c17568f725b25720a817326744777f0
Improve External Core syntax for newtypes

I was confused by the newtype eta-contraction trick before.
Newtype declarations are much less redundant now.
compiler/coreSyn/ExternalCore.lhs
compiler/coreSyn/MkExternalCore.lhs
compiler/coreSyn/PprExternalCore.lhs
utils/ext-core/Check.hs
utils/ext-core/Core.hs
utils/ext-core/ParsecParser.hs
utils/ext-core/Printer.hs