#5320: check_overlap panic (7.1 regression)
-----------------------------------+----------------------------------------
Reporter: mikhail.vorozhtsov | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.1 | Keywords:
Testcase: | Blockedby:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: Compile-time crash
-----------------------------------+----------------------------------------
The attached program is rightfully rejected by GHC 7.0.4 (with {{{"Could
not deduce (HMapClass f l) ..."}}}) but makes GHC HEAD panic:
{{{
$ ghc-7.3.20110713 Overlap.hs
[1 of 1] Compiling Overlap ( Overlap.hs, Overlap.o )
ghc: panic! (the 'impossible' happened)
(GHC version 7.3.20110713 for x86_64-unknown-linux):
check_overlap
main:Overlap.HDropClass{tc raS}
main:Overlap.PZero{tc raZ}
(main:Overlap.HMap{tc raN} f{tv adi} [sk] l{tv adk} [sk])
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
Both versions are built with the devel2 BuildFlavour.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5320>
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
