From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Sun, 4 May 2008 23:02:33 +0000 (+0000)
Subject: Improve External Core newtype syntax
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=044805225a08d5e370b72d2efed66880912b0806;hp=044805225a08d5e370b72d2efed66880912b0806

Improve External Core newtype syntax

I realized that recursive newtypes no longer have to be
distinguished in the External Core AST, because explicit coercions
allow the typechecker to typecheck newtypes without ever
expanding newtypes. So, now all newtypes in External Core have
a representation clause. O frabjous day!
---