#6117: Cyclic Type Class Hierarchy Produces <<loop>>
----------------------------------------+-----------------------------------
Reporter: jun0 | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone: 7.8.1
Component: Compiler (Type checker) | Version: 7.4.1
Keywords: | Os: Linux
Architecture: Unknown/Multiple | Failure: Incorrect result at
runtime
Difficulty: Unknown | Testcase: T6117
Blockedby: | Blocking:
Related: |
----------------------------------------+-----------------------------------
Changes (by igloo):
* owner: => simonpj
* testcase: => T6117
* component: Compiler => Compiler (Type checker)
* milestone: => 7.8.1
Comment:
I'm getting a core lint failure for this test:
{{{
=====> T6117(normal) 69 of 69 [0, 0, 0]
cd . && '/home/ian/ghc/git/ghc/inplace/bin/ghc-stage2' -fforce-recomp
-dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts
-fno-ghci-history -o T6117 T6117.hs >T6117.comp.stderr 2>&1
Compile failed (status 256) errors were:
[1 of 1] Compiling Main ( T6117.hs, T6117.o )
*** Core Lint errors : in result of Simplifier ***
{-# LINE 37 "T6117.hs #-}: Warning:
[RHS of Main.$fBAdditive :: forall a_ahu.
Main.B a_ahu =>
Main.B (Main.Additive a_ahu)]
Bad axiom application (check_ki2)
Main.NTCo:B (Sym (Main.NTCo:B (Main.NTCo:Additive <a_XhN>)))
*** Offending Program ***
[...]
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6117#comment:3>
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
