[GHC] #11182: -XStrict doesn't imply -XStrictData
#11182: -XStrict doesn't imply -XStrictData -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: #8347 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Compiling this code: {{{#!hs {-# LANGUAGE Strict #-} data Lazy a = Lazy ~a main :: IO () main = case Lazy undefined of Lazy _ -> putStrLn "Lazy" }}} fails with the following error: {{{ $ .\inplace\bin\ghc-stage2.exe ../Lazy.hs [1 of 1] Compiling Main ( ..\Lazy.hs, ..\Lazy.o ) ..\Lazy.hs:3:15: error: * Lazy annotation (~) without StrictData on the first argument of `Lazy' * In the definition of data constructor `Lazy' In the data type declaration for `Lazy' }}} I was under the impression that `-XStrict` implied `-XStrictData`. Is this not the case? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11182> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11182: -XStrict doesn't imply -XStrictData -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #8347 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by tibbe): It should imply `-XStrictData` or else it's a bug. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11182#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11182: -XStrict doesn't imply -XStrictData -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: adamse Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #8347 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by adamse): * owner: => adamse Comment: It definitely should, and definitely did at some point during my development: it must have been lost during a rebase. Will investigate! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11182#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11182: -XStrict doesn't imply -XStrictData -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: adamse Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #8347 | Differential Rev(s): Phab:D1592 Wiki Page: | -------------------------------------+------------------------------------- Changes (by adamse): * differential: => Phab:D1592 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11182#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11182: -XStrict doesn't imply -XStrictData -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: adamse Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #8347 | Differential Rev(s): Phab:D1592 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"4935b48bdbed916507d585f9185960916ed5f04b/ghc" 4935b48/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="4935b48bdbed916507d585f9185960916ed5f04b" Make -XStrict imply -XStrictData Fixes #11182. Reviewers: bgamari, simonpj, austin Reviewed By: simonpj, austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1592 GHC Trac Issues: #11182 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11182#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11182: -XStrict doesn't imply -XStrictData -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: adamse Type: bug | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: T11182 Blocked By: | Blocking: Related Tickets: #8347 | Differential Rev(s): Phab:D1592 Wiki Page: | -------------------------------------+------------------------------------- Changes (by adamse): * status: new => closed * testcase: => T11182 * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11182#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC