newtype breakage

[Simon Peyton-Jones]

Likewise a bug, now fixed, and test added (tcrun014)

Thanks

Simon

| -----Original Message-----
| From: Sigbjorn Finne [mailto:sof@galconn.com]=20
| Sent: 19 July 2001 22:24
| To: cvs-ghc@haskell.org
| Subject: newtype breakage
|=20
|=20
| Using HEAD, compiling the following test case
|=20
| module PEx where
|=20
| data Expr e =3D One e | Many [e]
| newtype PExpr a =3D InPE (Expr (PExpr a), Int)
|=20
| one x l =3D InPE (One (plus1 x), l)
| plus1 x@(InPE (_, loc)) =3D InPE (Many [x], loc)
|=20
| with -O produces output which refers to a=20
| PEx_InPE_con_info, i.e., HEAD thinks InPE is
| a 'real' data constructor.=20
|=20
| Works fine with 5.00.2
|=20
| --sigbjorn
|=20
|=20
|=20
| _______________________________________________
| Cvs-ghc mailing list
| Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
|=20
|=20