[GHC] #11664: Core Lint failure when building warp-3.2.2
#11664: Core Lint failure when building warp-3.2.2 ---------------------------------------+--------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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 building warp-3.2.2 with `-dcore-lint` the module Network.Wai.Handler.Warp.HTTP2.Worker fails to compile with Core Lint errors. Steps to reproduce (assuming that you have [http://haskellstack.org Stack] installed): 1. Download [https://hackage.haskell.org/package/warp-3.2.2/warp-3.2.2.tar.gz warp-3.2.2.tar.gz] from Hackage, extract it, and cd to that directory. 2. Run `echo "resolver: lts-5.5" > stack.yaml` and then `stack build --ghc-options -dcore-lint`. The text with exact error message is attached to this ticket. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11664: Core Lint failure when building warp-3.2.2 ------------------------------------+-------------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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: | ------------------------------------+-------------------------------------- Changes (by anton.dessiatov): * Attachment "corelintfail.txt" added. Core lint failure text -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11664: Core Lint failure when building warp-3.2.2 ------------------------------------+-------------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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): That looks bad. How can I build this with a particular specified GHC (not in my path), namely my development build. Is there a flag to stack to tell it to do that? Or can I just call cabal directly? I tried {{{ cabal configure --with-ghc=/home/simonpj/5builds/HEAD-3/inplace/bin/ghc- stage2 Resolving dependencies... Configuring warp-3.2.2... cabal: At least the following dependencies are missing: auto-update >=0.1.3 && <0.2, blaze-builder >=0.4, bytestring-builder -any, case-insensitive >=0.2, hashable -any, http-date -any, http-types >=0.8.5, http2 ==1.4.*, iproute >=1.3.1, network >=2.3, simple-sendfile >=0.2.7 && <0.3, stm >=2.3, streaming-commons >=0.1.10, text -any, unix-compat >=0.2, vault >=0.3, wai ==3.2.*, word8 -any }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11664: Core Lint failure when building warp-3.2.2 ------------------------------------+-------------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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): Oh this is 7.10.3. Does the same thing happen with the 8.0 release candidate? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11664: Core Lint failure when building warp-3.2.2 ------------------------------------+-------------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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 anton.dessiatov): I will check it now and comment. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11664: Core Lint failure when building warp-3.2.2 ------------------------------------+-------------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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 anton.dessiatov): I (expectedly) failed to make stack work with lts-5.5 and GHC 8.0 rc2 so I resorted to using cabal. I have used cabal-install 1.22.8.0 built against 1.22.7.0 Cabal library by GHC 7.10.3 to build warp 3.2.2 with GHC 8.0 rc2. I have did the following (ensuring that correct GHC 8.0 rc2 is on my PATH and I'm in a directory with Warp 3.2.2 source code) {{{ cabal update cabal sandbox init cabal install --ghc-options -dcore-lint }}} This time it failed when building `attoparsec-0.13.0.1` (Data.Attoparsec.Text.Internal module). Now it says {{{ *** Core Lint errors : in result of SpecConstr *** <no location info>: warning: In the type ‘Buffer -> Pos -> More -> a_aNxE -> IResult Text r_aNxF’ @ a_aNxE is out of scope }}} The full output is huge so I gzipped it (will post after submitting this message). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11664: Core Lint failure when building warp-3.2.2 ------------------------------------+-------------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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: | ------------------------------------+-------------------------------------- Changes (by anton.dessiatov): * Attachment "attoparsec.out.gz" added. Output of cabal install attoparsec --ghc-options -dcorelint with GHC 8.0 rc 2 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11664: Core Lint failure when building warp-3.2.2 ------------------------------------+-------------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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 bgamari): Simon, it's probably easiest to reproduce with cabal. Adding `--with-ghc` to the `cabal install` command mentioned in comment:4 should be sufficient. I have been able to reproduce with 7.10.3. Now trying with a recent 8.0 snapshot. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11664: Core Lint failure when building warp-3.2.2 ------------------------------------+-------------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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 bgamari): I am unable to reproduce this with 23baff798aca5856650508ad0f7727045efe3680 (a quite recent commit on the `ghc-8.0` branch). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11664: Core Lint failure when building warp-3.2.2 ------------------------------------+-------------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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 bgamari): Anton, do you suppose you could open another ticket for the attoparsec issue? It seems quite likely that this is a different issue and it will be helpful to treat them as such. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11664: Core Lint failure when building warp-3.2.2 ------------------------------------+-------------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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 anton.dessiatov): I will now check the `attoparsec` issue with `master` and create another ticket if it reproduces. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11664: Core Lint failure when building warp-3.2.2 ------------------------------------+-------------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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 anton.dessiatov): Current `master` 57b4c5524fcbf02f61dfc8d9395906dc7f50f048 also fails to build `attoparsec-0.13.0.1` with core lint failure. Created #11665 for that. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11664: Core Lint failure when building warp-3.2.2 -------------------------------------+------------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.3 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * failure: None/Unknown => Compile-time crash * milestone: => 8.0.1 Comment: Looks like this is fixed in 8.0.1. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11664: Core Lint failure when building warp-3.2.2 -------------------------------------+------------------------------------- Reporter: anton.dessiatov | Owner: Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.3 Resolution: fixed | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => closed * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11664#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC