-Wmissing-signatures uses forall even when invalid in source
The -Wmissing-signatures warning is great to learn about the signatures that things should have, and is especially useful when teaching Haskell to beginners.
Unfortunately, it uses explicit quantification (forall) even when in the compiled module, this is not valid:
$ echo 'foo x = x' > Foo.hs
$ ghci -Wall Foo.hs
GHCi, version 8.0.1: http://www.haskell.org/ghc/ :? for help
[1 of 1] Compiling Main ( Foo.hs, interpreted )
Foo.hs:1:1: warning: [-Wmissing-signatures]
Top-level binding with no type signature: foo :: forall t. t -> t
Ok, modules loaded: Main.
*Main>
$ echo -e 'foo :: forall t. t -> t\nfoo x = x' > Foo.hs
$ ghci -Wall Foo.hs
GHCi, version 8.0.1: http://www.haskell.org/ghc/ :? for help
[1 of 1] Compiling Main ( Foo.hs, interpreted )
Foo.hs:1:16: error:
Illegal symbol '.' in type
Perhaps you intended to use RankNTypes or a similar language
extension to enable explicit-forall syntax: forall <tvs>. <type>
Failed, modules loaded: none.The type signature provided by -Wmissing-signatures should be in a form that is valid in the context of the function that is missing the signature.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.0.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |