hsig files don't have good enough error checking for wired-in types
If I have the signature:
{-# LANGUAGE NoImplicitPrelude #-}
module MyPrelude where
data Int a
And I compile it with ghc MyPrelude.hsig -sig-of "MyPrelude is base:Prelude"
this won't actually give an error, despite Int
having the wrong kind.
The bug seems to be because Int
is wired in and this case is not handled.
Filing this so I don't forget to fix.
Trac metadata
Trac field | Value |
---|---|
Version | 7.11 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler (Type checker) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |