[GHC] #2536: Flag for Making Type Signatures Mandatory

[GHC]

#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