GHC 5.02.2: ghci type-reporting "error"
Simon Peyton-Jones
simonpj at microsoft.com
Mon Mar 11 06:49:23 EST 2002
This won't happen in 5.03 because of its better treatment of
rank-N types.
Simon
| -----Original Message-----
| From: Keith Wansbrough [mailto:Keith.Wansbrough at cl.cam.ac.uk]
| Sent: 08 March 2002 16:13
| To: glasgow-haskell-bugs at haskell.org
| Subject: GHC 5.02.2: ghci type-reporting "error"
|
|
| I get the following error when asking for the type of `build'
| in ghci,
| 5.02.2. This still happens, with or without -fglasgow-exts.
|
| astrocyte:compiler$ ghci
| ___ ___ _
| / _ \ /\ /\/ __(_)
| / /_\// /_/ / / | | GHC Interactive, version 5.02.2,
| for Haskell
| 98.
| / /_\\/ __ / /___| | http://www.haskell.org/ghc/
| \____/\/ /_/\____/|_| Type :? for help.
|
| Loading package std ... linking ... done.
| Prelude> :t PrelBase.build
|
| Illegal use of `PrelBase.build'
| It is applied to too few arguments
| so that the result type has for-alls in it: (forall b.
| (a -> b ->
| b) -> b ->
| b)
| -> [a]
| Prelude>
|
| --KW 8-)
| --
| Keith Wansbrough <kw217 at cl.cam.ac.uk>
| http://www.cl.cam.ac.uk/users/kw217/
| University of Cambridge
| Computer Laboratory.
|
| _______________________________________________
| Glasgow-haskell-bugs mailing list
| Glasgow-haskell-bugs at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-| haskell-bugs
|
More information about the Glasgow-haskell-bugs
mailing list