Opened 9 years ago

Closed 9 years ago

Last modified 8 years ago

#2536 closed feature request (invalid)

Flag for Making Type Signatures Mandatory

Reported by: guest Owned by:
Priority: normal Milestone:
Component: Compiler (Type checker) Version: 6.8.3
Keywords: type signatures Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

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:1 Changed 9 years ago by NeilMitchell

-fwarn-missing-signatures -Werror already does this.

comment:2 Changed 9 years ago by igloo

difficulty: Unknown
Resolution: invalid
Status: newclosed

As Neil says, you can already do this, so I'm closing this ticket.

comment:3 Changed 8 years ago by simonmar

Architecture: UnknownUnknown/Multiple

comment:4 Changed 8 years ago by simonmar

Operating System: UnknownUnknown/Multiple
Note: See TracTickets for help on using tickets.