Flag for Making Type Signatures Mandatory
|Reported by:||guest||Owned by:|
|Component:||Compiler (Type checker)||Version:||6.8.3|
|Type of failure:||Difficulty:||Unknown|
|Test Case:||Blocked By:|
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.
Change History (4)
comment:2 Changed 6 years ago by igloo
- Difficulty set to Unknown
- Resolution set to invalid
- Status changed from new to closed