[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
#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