[GHC] #14034: GHC crash instead of compile error on GHC 8.2 with ApplicativeDo

#14034: GHC crash instead of compile error on GHC 8.2 with ApplicativeDo -------------------------------------+------------------------------------- Reporter: nh2 | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I'm filing this a sa proxy for user `sam2_` from IRC: {{{ $ cat Bug.hs {-# LANGUAGE ApplicativeDo #-} module Bug where doc = do () <- a () <- b c' <- c return d }}} {{{ $ ghc-8.2.1 Bug.hs [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) ghc: out of memory (requested 1048576 bytes) }}} {{{ $ ghc-8.0.2 Bug.hs [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) Bug.hs:5:9: error: Variable not in scope: a :: f () Bug.hs:6:9: error: Variable not in scope: b :: f () Bug.hs:7:9: error: Variable not in scope: c :: f a0 Bug.hs:8:10: error: Variable not in scope: d }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14034 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#14034: GHC crash instead of compile error on GHC 8.2 with ApplicativeDo -------------------------------------+------------------------------------- Reporter: nh2 | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by nh2): {{{ sam2_: I'd just like to note that this also happens to valid code; the undefined names aren't essential to reproduction }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14034#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#14034: GHC crash instead of compile error on GHC 8.2 with ApplicativeDo -------------------------------------+------------------------------------- Reporter: nh2 | Owner: simonmar Type: bug | Status: new Priority: highest | Milestone: 8.2.2 Component: Compiler | Version: 8.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * owner: (none) => simonmar * priority: normal => highest * milestone: => 8.2.2 Comment: An infinite loop in the compiler is bad! Something to do with renaming I think. Simon M: would you like to look? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14034#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#14034: GHC crash instead of compile error on GHC 8.2 with ApplicativeDo -------------------------------------+------------------------------------- Reporter: nh2 | Owner: simonmar Type: bug | Status: closed Priority: highest | Milestone: 8.2.2 Component: Compiler | Version: 8.2.1 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonmar): * status: new => closed * resolution: => duplicate Comment: Closing in favour of #14163 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14034#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC