[GHC] #7633: Checkable "minimal complete definitions"

[GHC]

#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 <twanvl at gmail.com>
 Signed-off-by: Herbert Valerio Riedel <hvr at gnu.org>
 }}}

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7633#comment:28>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler