Can't put wildcard behind forall
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
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.10.1-rc3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |