#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>" , "