#2536: Flag for Making Type Signatures Mandatory
--------------------------------+-------------------------------------------
Reporter: guest | Owner:
Type: feature request | Status: new
Priority: normal | Component: Compiler (Type checker)
Version: 6.8.3 | Severity: trivial
Keywords: type signatures | Testcase:
Architecture: Unknown | Os: Unknown
--------------------------------+-------------------------------------------
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.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2536>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
