[GHC] #11944: Simplifier ticks exhausted When trying UnfoldingDone ip_X7RI
#11944: Simplifier ticks exhausted When trying UnfoldingDone ip_X7RI --------------------------------------+--------------------------------- Reporter: simone.trubian | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------------+--------------------------------- When trying compiling the following code I get a ghc panic {{{#!hs import Network.Wai import Network.Wai.Handler.Warp import Network.HTTP.Types ( status200 , status404) import Blaze.ByteString.Builder (copyByteString) import qualified Data.ByteString.UTF8 as BU import Data.Monoid main = do let port = 3000 putStrLn $ "Listening on port " ++ show port run port app app req respond = respond $ case pathInfo req of ["avOK"] -> avOK ["avWrong"] -> avWrong x -> index x avOK = responseBuilder status200 [("Content-Type", "text/html")] $ mconcat $ map copyByteString [ "<!DOCTYPE html>" , "<html>" , "<head>" , "<title>Title</title>" , "</head>" , "<body>" , "
#11944: Simplifier ticks exhausted When trying UnfoldingDone ip_X7RI -----------------------------------+-------------------------------------- Reporter: simone.trubian | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -----------------------------------+-------------------------------------- Description changed by simonpj: @@ -68,2 +68,3 @@ - - ```<no location info>: + We get + {{{ + <no location info>: @@ -77,2 +78,2 @@ - Total ticks: 53522k``` - + Total ticks: 53522k + }}} New description: When trying compiling the following code I get a ghc panic {{{#!hs import Network.Wai import Network.Wai.Handler.Warp import Network.HTTP.Types ( status200 , status404) import Blaze.ByteString.Builder (copyByteString) import qualified Data.ByteString.UTF8 as BU import Data.Monoid main = do let port = 3000 putStrLn $ "Listening on port " ++ show port run port app app req respond = respond $ case pathInfo req of ["avOK"] -> avOK ["avWrong"] -> avWrong x -> index x avOK = responseBuilder status200 [("Content-Type", "text/html")] $ mconcat $ map copyByteString [ "<!DOCTYPE html>" , "<html>" , "<head>" , "<title>Title</title>" , "</head>" , "<body>" , "
#11944: Simplifier ticks exhausted When trying UnfoldingDone ip_X7RI -----------------------------------+-------------------------------------- Reporter: simone.trubian | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -----------------------------------+-------------------------------------- Comment (by simonpj): It'd be good to characterise this better, if someone has time to do that. Could be due to excessive INLINE pragmas, or RULES, in some library. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11944#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC