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 aAnd 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 |