[GHC] #11626: type variable out of scope core lint error when compiling attoparsec
#11626: type variable out of scope core lint error when compiling attoparsec -------------------------------------+------------------------------------- Reporter: luite | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1-rc2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I'm getting a core lint error when compiling attoparsec with the `-dcore- lint` option {{{ *** Core Lint errors : in result of SpecConstr *** <no location info>: warning: In the type ‘Buffer -> Pos -> More -> a_aaPH -> IResult Text r_aaPI’ @ a_aaPH is out of scope *** Offending Program *** ... 57000 lines of offending program cut *** End of Offense *** }}} * attoparsec 0.13.0.2 commit 4f137347be02106765f6897059b88219c79bb86c * ghc 8.0.1-rc2 and also 892de051aaaf9a346dadc74592a9cc375b3223a4 (feb 20) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11626 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11626: type variable out of scope core lint error when compiling attoparsec -------------------------------------+------------------------------------- Reporter: luite | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): Looks to me like this should have been instantiated at `Text`; seems like this might be a bug in the SpecConstr pass. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11626#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11626: type variable out of scope core lint error when compiling attoparsec -------------------------------------+------------------------------------- Reporter: luite | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.1-rc2 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #11665 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => duplicate * related: => #11665 Comment: Just fixed. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11626#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11626: type variable out of scope core lint error when compiling attoparsec -------------------------------------+------------------------------------- Reporter: luite | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.1-rc2 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #11665 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): What does "just fixed" mean? Is it ok in our upcoming 8.0, and HEAD? If so, fine. Do you know what fixed it? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11626#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11626: type variable out of scope core lint error when compiling attoparsec -------------------------------------+------------------------------------- Reporter: luite | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.1-rc2 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #11665 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by thomie): This ticket is an exact duplicate of #11665, which was fixed for 8.0. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11626#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC