#8018: GHC hangs with recursive dependency in closed type family
-----------------------------+----------------------------------------------
Reporter: goldfire | Owner: goldfire
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.7 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Blockedby:
Blocking: | Related:
-----------------------------+----------------------------------------------
Comment(by eir@…):
commit fb96f13eeceb36405fb4ef475df1e57951f88d28
{{{
Author: Richard Eisenberg <[email protected]>
Date: Fri Jun 28 17:27:00 2013 +0100
Fix Trac #8018.
Don't use the zonked-in-the-knot types to create a name for the axiom
in a closed type family.
compiler/typecheck/TcTyClsDecls.lhs | 16 ++++++++++++----
1 files changed, 12 insertions(+), 4 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8018#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
