#7633: Checkable "minimal complete definitions"
-------------------------------------+------------------------------------
Reporter: shachaf | Owner:
Type: feature request | Status: patch
Priority: normal | Milestone: 7.8.1
Component: Compiler | Version: 7.6.1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: None/Unknown | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets: #6028
-------------------------------------+------------------------------------
Comment (by Herbert Valerio Riedel <hvr@…>):
In [changeset:bd42c9dfd1c9ce19672e1d63871a237c268e0212/ghc]:
{{{
#!CommitTicketReference repository="ghc"
revision="bd42c9dfd1c9ce19672e1d63871a237c268e0212"
Implement checkable "minimal complete definitions" (#7633)
This commit adds a `{-# MINIMAL #-}` pragma, which defines the possible
minimal complete definitions for a class. The body of the pragma is a
boolean formula of names.
The old warning for missing methods is replaced with this new one.
Note: The interface file format is changed to store the minimal complete
definition.
Authored-by: Twan van Laarhoven <[email protected]>
Signed-off-by: Herbert Valerio Riedel <[email protected]>
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7633#comment:28>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
