[GHC] #10876: stack overflow regression
#10876: stack overflow regression -------------------------------------+------------------------------------- Reporter: dmwit | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 (Type checker) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- I would like to teach GHC that `<=` is transitive. I tried a module that looks like this: {{{#!hs {-# LANGUAGE GADTs, Rank2Types, TypeOperators #-} import GHC.TypeLits trans :: (a <= b, b <= c) => ((a <= c) => d) -> d trans = undefined }}} In 7.8, this is a type error; in 7.10 the compiler thinks a long time before emitting a stack overflow exception. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10876 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10876: stack overflow regression -------------------------------------+------------------------------------- Reporter: dmwit | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.3 Component: Compiler (Type | Version: 7.10.2 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonpj): * milestone: => 7.10.3 Comment: Doesn't loop in HEAD. Looks like #10806. We don't know which particular commit fixed it, so backporting the fix to 7.10.3 (if we have it) would involve real work by Iavor. Still, since it's come up twice I'll milestone it for 7.10.3 to give people a chance to yell that it's mission-critical. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10876#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#10876: stack overflow regression -------------------------------------+------------------------------------- Reporter: dmwit | Owner: Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler (Type | Version: 7.10.2 checker) | Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => closed * resolution: => fixed * milestone: 7.10.3 => 8.0.1 Comment: We still don't know which commit fixed this so this won't be fixed in 7.10.3. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10876#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC