[GHC] #10519: Can't put wildcard behind forall
#10519: Can't put wildcard behind forall -------------------------------------+------------------------------------- Reporter: yongqli | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- This type signature doesn't compile: {{{ forall v. _ => Acc (Array DIM2 (v Double)) -> Acc (Array DIM2 (v Double)) -> Acc (A.Vector Double) -> Acc (Array DIM2 Double) }}} with "Invalid partial type signature ... An extra-constraints wildcard is only allowed at the top-level of the signature" I need the forall because I use `v` in the body of the function. This occurs with version 7.10.1.20150612 but not 7.10.1.20150519 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10519> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10519: Can't put wildcard behind forall -------------------------------------+------------------------------------- Reporter: yongqli | Owner: thomasw Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomasw): * owner: => thomasw -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10519#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10519: Can't put wildcard behind forall -------------------------------------+------------------------------------- Reporter: yongqli | Owner: thomasw Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomasw): This must be caused by my recent refactoring (Phab:613). I'll have a look. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10519#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10519: Can't put wildcard behind forall -------------------------------------+------------------------------------- Reporter: yongqli | Owner: thomasw Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D994 -------------------------------------+------------------------------------- Changes (by thomasw): * differential: => Phab:D994 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10519#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10519: Can't put wildcard behind forall -------------------------------------+------------------------------------- Reporter: yongqli | Owner: thomasw Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D994 -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"f8563838603f9a60f5012c3837142c5df89b8de2/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="f8563838603f9a60f5012c3837142c5df89b8de2" Fix Trac #10519 Look through nested foralls when checking the validity of a partial type signature. The combination of D836 and D613 prompts this change. Test Plan: The test T10519 must pass Reviewers: simonpj, alanz, austin Reviewed By: simonpj, alanz, austin Subscribers: thomie, bgamari Differential Revision: https://phabricator.haskell.org/D994 GHC Trac Issues: #10519 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10519#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10519: Can't put wildcard behind forall -------------------------------------+------------------------------------- Reporter: yongqli | Owner: thomasw Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: partial- Related Tickets: | sigs/should_compile/T10519 | Blocking: | Differential Revisions: Phab:D994 -------------------------------------+------------------------------------- Changes (by simonpj): * testcase: => partial-sigs/should_compile/T10519 Comment: So this is fixed? If so let's close it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10519#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10519: Can't put wildcard behind forall -------------------------------------+------------------------------------- Reporter: yongqli | Owner: thomasw Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: partial- Related Tickets: | sigs/should_compile/T10519 | Blocking: | Differential Revisions: Phab:D994 -------------------------------------+------------------------------------- Changes (by thomasw): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10519#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC