cvs commit: fptools/ghc/compiler/ghci InteractiveUI.hs
Simon Marlow
simonmar@microsoft.com
Tue, 21 Aug 2001 10:51:25 +0100
> Test1>:i PrelGHC.RealWorld
> -- PrelGHC.RealWorld is a primitive type constructor
> foreign import type dotnet PrelGHC.RealWorld
>=20
> Why dotnet?
This is a highly special case. The compiler identifies all primitive
lifted type constructors as foreign types, and RealWorld is the only
primitive lifted type constructor apart from real foreign types. I
don't propose to add a special case for it.
> Test1>:!cat Test1.hs
> module Test1 where
> data A =3D Int :| Int
> Test1>:i A
> -- A is a type constructor, defined at Test1.hs:2
> data A =3D :| Int Int
>=20
> Invalid syntax.
I'll see if I can fix this one.
> Test1>:i ()
> -- () is a data constructor
> ():: ()
>=20
> -- () is a type constructor
> data*** Exception: types/TyCon.lhs:478: Non-exhaustive=20
> patterns in function tyConTheta
Should be fixed now, I forgot to commit the change yesterday.
Cheers,
Simon