Ticket #2536 (closed feature request: invalid)

Opened 5 years ago

Last modified 5 years ago

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: Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

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

Changed 5 years ago by NeilMitchell

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

Changed 5 years ago by igloo

  • status changed from new to closed
  • difficulty set to Unknown
  • resolution set to invalid

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

Changed 5 years ago by simonmar

  • architecture changed from Unknown to Unknown/Multiple

Changed 5 years ago by simonmar

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