|
evaluation fault in ghci.: msg#00055lang.haskell.glasgow.bugs
The interactive loop of ghci displays an interesting evaluation fault to do with derived equality. In the attached source file, there is a simple guard which tests some equalities, and basically the same value is given on the left and right of the (==). Yet, it evaluates to False in interactive mode, whereas it (correctly) evaluates to True when compiled. $ ghci ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 5.04.2, for Haskell 98. / /_\\/ __ / /___| | http://www.haskell.org/ghc/ \____/\/ /_/\____/|_| Type :? for help. Loading package base ... linking ... done. Loading package haskell98 ... linking ... done. Prelude> :l Small Compiling Main ( Small.hs, interpreted ) Ok, modules loaded: Main. *Main> main "*** Exception: Four.bceFour: precondition fails:arrows not parallel f = E g = E $ ghc -o Small Small.hs $ ./Small "it works" I have verified that the fault exists at least as far back as 5.02.3. Regards, Malcolm
|
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Previous by Date: | [ ghc-Bugs-672813 ] bad type does bad things, SourceForge.net |
|---|---|
| Next by Date: | RE: foreign import label with polymorphic type, Simon Marlow |
| Previous by Thread: | foreign import label with polymorphic type, Ross Paterson |
| Next by Thread: | Re: evaluation fault in ghci., Leon Smith |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |