Replacing Ty in ExternalCore with IfaceType

[Kirsten Chevalier]

> Message: 4
> Date: Tue, 5 Dec 2006 16:00:28 +0000
> From: Simon Peyton-Jones <simonpj at microsoft.com>
> Subject: RE: Replacing Ty in ExternalCore with IfaceType
> To: Aaron Tomb <atomb at soe.ucsc.edu>,    "cvs-ghc at haskell.org"
>         <cvs-ghc at haskell.org>
> Message-ID:
>
[snip]
> * Be careful to specify the sub-language of HsSyn that is ExtCore
>

This seems like asking for trouble, too, although I guess it depends
on what you mean by "be careful" and "specify". I can imagine bugs
potentially sneaking in when somebody makes a change to GHC without
thinking about ExtCore (which is exactly what happened in the past),
but I suppose that it's possible to implement some sort of
ext-core-lint phase or something that checks that the ExtCore that GHC
is generating is consistent with the specification. But, you would
want to make sure that that phase was actually enabled when the test
suite gets run.

Cheers,
Kirsten

-- 
Kirsten Chevalier* chevalier at alum.wellesley.edu *Often in error, never in doubt
"It ain't no hassle, it ain't no mess / Right now it's the only power that I
possess / these businessmen got their money, they got their instruments of
death / but I can make life, I can make breath" -- Ani DiFranco