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

[GHC]

#7633: Checkable "minimal complete definitions"
-------------------------------------------------+-------------------------
        Reporter:  shachaf                       |            Owner:
            Type:  feature request               |  twanvl
        Priority:  normal                        |           Status:
       Component:  Compiler                      |  closed
      Resolution:  fixed                         |        Milestone:  7.8.1
Operating System:  Unknown/Multiple              |          Version:  7.6.1
 Type of failure:  None/Unknown                  |         Keywords:
       Test Case:  warnings/minimal/WarnMinimal  |     Architecture:
        Blocking:                                |  Unknown/Multiple
                                                 |       Difficulty:
                                                 |  Unknown
                                                 |       Blocked By:
                                                 |  Related Tickets:  #6028
-------------------------------------------------+-------------------------

Comment (by haasn):

 Would it be possible to attach a BooleanFormula to HsDecls, too?
 Specifically, to the ClassDecl constructor of a TyClDecl.

 I could use this in order to figure out and show minimal complete
 definitions for class declarations in Haddock.

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