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

[GHC]

#7633: Checkable "minimal complete definitions"
---------------------------------+------------------------------------------
    Reporter:  shachaf           |       Owner:                  
        Type:  feature request   |      Status:  new             
    Priority:  normal            |   Milestone:  7.8.1           
   Component:  Compiler          |     Version:  7.6.1           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:  6028              |  
---------------------------------+------------------------------------------
Changes (by Lemming):

 * cc: ghc@… (added)


Comment:

 I would prefer that the minimal implementation specification is a logical
 expression consisting of ANDs and ORs. This way we can better show, what
 has to be implemented always and where choices exist.
 That is, instead of
 {{{
   {-# MINIMAL return, join #-}
   {-# MINIMAL return, (>>=) #-}
 }}}
 I prefer
 {{{
   {-# MINIMAL return AND (join OR (>>=)) #-}
 }}}

 I also wonder whether it is possible for GHC to make some plausibility
 checks.
 E.g., if a method has no default implementation and is not mentioned in
 the MINIMAL specification, this should cause a warning.

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