Flag for Making Type Signatures Mandatory
|Reported by:||guest||Owned by:|
|Component:||Compiler (Type checker)||Version:||6.8.3|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
I propose to add a flag to GHC to only compile programs that have type signatures for the defining equations. The purpose of this is to satisfy the belt and braces notion of programming and to also aid in teaching Haskell as a programming language.
Calling GHC with the following
ghc -ftypesignatures a.hs
will reject a.hs if any of its definitions do not have type signatures.