#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