#4349: ASSERT failed! file compiler/types/FamInstEnv.lhs
----------------------------------+-----------------------------------------
Reporter: daniel.is.fischer | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.1
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Linux | Blocking:
Architecture: x86 | Failure: Building GHC failed
----------------------------------+-----------------------------------------
Comment(by daniel.is.fischer):
It was something else:
{{{
*** Core Lint errors : in result of Tidy Core ***
{-# LINE 166 "libraries/base/GHC/Arr.lhs #-}:
[RHS of GHC.Arr.indexError :: forall a_a8n b_a8o.
GHC.Show.Show a_a8n =>
(a_a8n, a_a8n) -> a_a8n ->
GHC.Base.String -> b_a8o]
Demand type has 4 arguments, rhs has 1 arguments,
GHC.Arr.indexError
Binder's strictness signature: DmdType TTTTb
*** Offending Program ***
GHC.Arr.$p1Ix [InlPrag=[NEVER]]
:: forall a_a6B. GHC.Arr.Ix a_a6B => GHC.Classes.Ord a_a6B
[GblId[ClassOp],
Arity=1,
Caf=NoCafRefs,
Str=DmdType U(SAAAAAA),
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=1, Value=True,
ConLike=True, Cheap=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=True)},
RULES: Built in rule for GHC.Arr.$p1Ix: "Class op $p1Ix"]
}}}
Now I'll try without -dcore-lint.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4349#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
