#2151: GADTs in function Patterns
----------------------+-----------------------------------------------------
Reporter: hpacheco | Owner: chak
Type: bug | Status: new
Priority: normal | Milestone: 6.10 branch
Component: Compiler | Version: 6.9
Severity: blocker | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Multiple
Os: Multiple |
----------------------+-----------------------------------------------------
Comment (by chak):
The new solver doesn't bomb out, but complains:
{{{
/Users/chak/Code/haskell/Bug2.hs:13:21:
Couldn't match expected type `b' against inferred type `a2'
`b' is a rigid type variable bound by
the constructor `Func' at /Users/chak/Code/haskell/Bug2.hs:13:10
`a2' is a rigid type variable bound by
the constructor `Func' at
/Users/chak/Code/haskell/Bug2.hs:13:10
In the pattern: ID
In the definition of `test': test (PF (Func _ _)) ID = ID
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2151#comment:6>
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
