Regression: Implicitly kind variables not in scope
Our new head.hackage CI infrastructure has caught its first regression, it seems. A number of packages now fail to build due to out-of-scope kind variables. For instance, singleton-bool:
[1 of 1] Compiling Data.Singletons.Bool ( src/Data/Singletons/Bool.hs, dist/build/Data/Singletons/Bool.o )
*** Parser [Data.Singletons.Bool]:
Parser [Data.Singletons.Bool]: alloc=4264704 time=6.901
*** Renamer/typechecker [Data.Singletons.Bool]:
Renamer/typechecker [Data.Singletons.Bool]: alloc=17554720 time=92.794
src/Data/Singletons/Bool.hs:119:29: error:
Not in scope: type variable ‘k’
|
119 | sboolEqRefl :: forall (a :: k) (b :: k). SBoolI (a == b) => Maybe (a :~: b)
| ^
src/Data/Singletons/Bool.hs:119:38: error:
Not in scope: type variable ‘k’
|
119 | sboolEqRefl :: forall (a :: k) (b :: k). SBoolI (a == b) => Maybe (a :~: b)
| ^Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.9 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | highest |
| Resolution | Unresolved |
| Component | Compiler (Type checker) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |