[GHC] #11814: Insufficient in-scope-sets
#11814: Insufficient in-scope-sets -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 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 found two spots where we were making insufficient `InScopeSet`s (while updating `singletons` for 8.0), in `mkCastTy` and `mkWWargs`. I don't have a reduced test case for either; if you really want one, just try compiling `singletons` once it's updated. Fix en route. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11814> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11814: Insufficient in-scope-sets -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 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 Richard Eisenberg <eir@…>): In [changeset:"0b6dcf6d2ccac3b43037650279256022a352de53/ghc" 0b6dcf6/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="0b6dcf6d2ccac3b43037650279256022a352de53" Fix #11814 by throwing more stuff into InScopeSets }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11814#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11814: Insufficient in-scope-sets -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: merge Priority: normal | Milestone: Component: Compiler | Version: 8.1 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: | -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => merge Comment: This should be merged -- it's needed to compile `singletons` on GHC8. Thanks! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11814#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11814: Insufficient in-scope-sets -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: merge Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.1 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: | -------------------------------------+------------------------------------- Changes (by goldfire): * milestone: => 8.0.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11814#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11814: Insufficient in-scope-sets -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: merge Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.1 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 Richard Eisenberg <eir@…>): In [changeset:"8d66765c4de22c01b8ae97570ed6c5f5c1a16a35/ghc" 8d66765/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="8d66765c4de22c01b8ae97570ed6c5f5c1a16a35" Increase an InScopeSet for a substitution This is a further fix for #11814 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11814#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11814: Insufficient in-scope-sets -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.1 Resolution: fixed | 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: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: merge => closed * resolution: => fixed Comment: Merged as 6d1d979281c3b2b7e32f6bc50935f5925f89df8b (comment:1) and b3321ca73f9d8ae4a44e228ff77ecbe14e291440 (comment:2). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11814#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC