Skip to content

Assertion failure in CoreUtils.lhs

I happened to be using a debug build of ghc-7.8.2, and got this assertion failure compiling fclabels.

[ 7 of 10] Compiling Data.Label.Total ( src/Data/Label/Total.hs, dist/build/Data/Label/Total.o )

<no location info>:
    ghc: panic! (the 'impossible' happened)
  (GHC version 7.8.2.20140429 for x86_64-unknown-linux):
	ASSERT failed!
    file compiler/coreSyn/CoreUtils.lhs line 194
    coercion Nth:0
               dt{v d7gF} [lid] passed to mkCast base:Control.Category.id{v rkl} [gid[ClassOp]]
                                                   @ ghc-prim:GHC.Prim.*{(w) tc 34d}
                                                   @ fclabels-2.0.1:Data.Label.Point.Total{tc r1Pm}
                                                   (base:Control.Arrow.$p1Arrow{v r1s} [gid[ClassOp]]
                                                      @ fclabels-2.0.1:Data.Label.Point.Total{tc r1Pm}
                                                      (base:Control.Arrow.$p1ArrowApply{v rp} [gid[ClassOp]]
                                                         @ fclabels-2.0.1:Data.Label.Point.Total{tc r1Pm}
                                                         $dArrowApply{v a72o} [lid]))
                                                   @ f{tv a8m6} [tv]
                                                   f{v a8hw} [lid] has wrong role nominal

Problem does not appear with -O0.

I couldn't test with HEAD because fclabels isn't compatible with the changes to Template Haskell yet.

Trac metadata
Trac field Value
Version 7.8.2
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information