#5777: Panic with Arrow Notation and GADTs
--------------------------------+-------------------------------------------
Reporter: benmos | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.4.1-rc1 | Keywords: arrows, GADTs
Os: MacOS X | Architecture: x86
Failure: Compile-time crash | Testcase:
Blockedby: | Blocking:
Related: |
--------------------------------+-------------------------------------------
The following code panics GHC (with 7.0.3, 7.2 and 7.4.0.20111219):
{{{
{-# LANGUAGE Arrows, GADTs #-}
import Control.Arrow
data Value a where BoolVal :: Value Bool
class ArrowInit f where
arrif :: f b -> ()
instance ArrowInit Value where
arrif = proc BoolVal -> returnA -< ()
-- arrif = arr (\BoolVal -> ())
}}}
I am attaching the -dcore-lint from 7.4.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5777>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
