[GHC] #15400: Parse error on input ‘*’
#15400: Parse error on input ‘*’ -------------------------------------+------------------------------------- Reporter: Bodigrim | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Both GHC 8.6.1-alpha1 and 8.6.1-alpha2 fail to build `numtype-dk` package, while GHC 8.4.3 and HEAD work fine. {{{ Configuring numtype-dk-0.5.0.1... Preprocessing library for numtype-dk-0.5.0.1.. Building library for numtype-dk-0.5.0.1.. Numeric/NumType/DK/Integers.hs:38:29: error: parse error on input ‘*’ | 38 | type (+), type (-), type (*), type (/), type (^), | }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15400 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15400: Parse error on input ‘*’ -------------------------------------+------------------------------------- Reporter: Bodigrim | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): I've lost track of things: does 8.6.1-alpha2 have the `TypeOperators`-implies-`NoStarIsType` implication? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15400#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15400: Parse error on input ‘*’ -------------------------------------+------------------------------------- Reporter: Bodigrim | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): (Note to @Bodigrim: this may already be fixed -- it just may not have made it into any released alphas yet.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15400#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15400: Parse error on input ‘*’ -------------------------------------+------------------------------------- Reporter: Bodigrim | Owner: (none) Type: bug | Status: patch Priority: highest | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4865 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * priority: normal => highest * status: new => patch * differential: => Phab:D4865 Comment: Indeed the patch disabling the `TypeOperators`-implies-`NoStarIsType` implication didn't quite make it for alpha 2. It will be in the next pre- release. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15400#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15400: Parse error on input ‘*’ -------------------------------------+------------------------------------- Reporter: Bodigrim | Owner: (none) Type: bug | Status: new Priority: highest | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4865 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: patch => new Comment: Actually, apparently I am confused as well. I did indeed merge an early version of the patch (65c186f0fdde95fd7c63ab9bd9b33a0213dba7d1) way back, even before alpha 1. It's rather concerning that this is still failing. I suspect there is a bug here. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15400#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15400: Parse error on input ‘*’ -------------------------------------+------------------------------------- Reporter: Bodigrim | Owner: (none) Type: bug | Status: new Priority: highest | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #15284 | Differential Rev(s): Phab:D4865 Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * related: => #15284 Comment: If I understand #15284 correctly, the fact that this doesn't parse is expected behavior when `StarIsType` is enabled, so I don't think this is a bug. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15400#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15400: Parse error on input ‘*’ -------------------------------------+------------------------------------- Reporter: Bodigrim | Owner: (none) Type: bug | Status: new Priority: highest | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #15284 | Differential Rev(s): Phab:D4865 Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): Oh dear. I've gotten confused about this again! And then I went ahead and confused Ben. I really should know better. This is expected behavior. In GHC 8.6, you have to specify `-XNoStarIsType` in order to use `*` as a type operator. We recognize that this makes for an awkward migration for some users, but, as discussed in [https://github.com/ghc-proposals/ghc-proposals/pull/83 these] [https://github.com/ghc-proposals/ghc-proposals/pull/146 proposals] (more the second one), it seemed better to do it this way than any other we could think of. Just put on `-XNoStarIsType` and you'll be off. However, do we have any migration guide? This should absolutely be in it. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15400#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15400: Parse error on input ‘*’ -------------------------------------+------------------------------------- Reporter: Bodigrim | Owner: (none) Type: bug | Status: closed Priority: highest | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #15284 | Differential Rev(s): Phab:D4865 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => closed * resolution: => invalid Comment:
If I understand #15284 correctly, the fact that this doesn't parse is expected behavior when `StarIsType` is enabled, so I don't think this is a bug.
Thanks for setting us right, Ryan!
Oh dear. I've gotten confused about this again! And then I went ahead and confused Ben.
To be fair, the latter isn't hard to do :) The migration guide [[https://ghc.haskell.org/trac/ghc/wiki/Migration/8.6#StarIsType indeed]] mentions this issue. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15400#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC