[GHC] #8018: GHC hangs with recursive dependency in closed type family
#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: -----------------------------+---------------------------------------------- The following code hangs GHC: {{{ {-# LANGUAGE TypeFamilies #-} data Foo a = Bar (F a) type family F a where F (Foo a) = Bool }}} -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/8018 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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
#8018: GHC hangs with recursive dependency in closed type family ---------------------------------+------------------------------------------ Reporter: goldfire | Owner: goldfire Type: bug | Status: closed Priority: normal | Component: Compiler Version: 7.7 | Resolution: fixed Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by goldfire): * status: new => closed * resolution: => fixed -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/8018#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC