Opened 8 years ago

Closed 8 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: Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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 8 years ago by NeilMitchell

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

comment:2 Changed 8 years ago by igloo

  • difficulty set to Unknown
  • Resolution set to invalid
  • Status changed from new to closed

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

comment:3 Changed 8 years ago by simonmar

  • Architecture changed from Unknown to Unknown/Multiple

comment:4 Changed 8 years ago by simonmar

  • Operating System changed from Unknown to Unknown/Multiple
Note: See TracTickets for help on using tickets.