#2019: GADT record with polytype argument causes irrefutable pattern failure in
basicTypes/MkId.lhs
-------------------------+--------------------------------------------------
Reporter: japple | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.8.2
Severity: normal | Keywords:
Difficulty: Unknown | Testcase:
Architecture: x86 | Os: Linux
-------------------------+--------------------------------------------------
{{{
data GADTRecordPoly a n where
G {val :: a} :: GADTRecordPoly a (forall n . n)
}}}
causes
*** Exception: basicTypes/MkId.lhs:642:8-70: Irrefutable pattern failed
for pattern Maybes.Succeeded refinement
when loaded in GHCi
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2019>
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
