cvs commit: fptools/ghc/compiler/ghci InteractiveUI.hs

Marcin 'Qrczak' Kowalczyk qrczak@knm.org.pl
21 Aug 2001 08:47:19 GMT


Mon, 20 Aug 2001 09:17:17 -0700, Simon Marlow <simonmar@glass.cse.ogi.edu> pisze:

>   - be more informative about primitive types: they are identified as
>     such, and a declaration is printed out as if the thing was an
>     abstract data type (this at least tells you what the arity of the
>     tycon is).

Test1>:i PrelGHC.RealWorld
-- PrelGHC.RealWorld is a primitive type constructor
foreign import type dotnet PrelGHC.RealWorld

   Why dotnet?


Test1>:!cat Test1.hs
module Test1 where
data A = Int :| Int
Test1>:i A
-- A is a type constructor, defined at Test1.hs:2
data A = :| Int Int

    Invalid syntax.


Test1>:i ()
-- () is a data constructor
():: ()

-- () is a type constructor
data*** Exception: types/TyCon.lhs:478: Non-exhaustive patterns in function tyConTheta

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK