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

GHC ghc-devs at haskell.org
Thu Mar 13 19:51:02 UTC 2014


#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 Lemming):

 Interested in an experience report? I added MINIMAL pragmas to numeric-
 prelude classes. I did several mistakes when transferring human
 description to MINIMAL pragma, mostly mixing up comma and bar. These
 mistakes were revealed by instances that gave wrong alarms. However one
 alarm was serious and spotted a missing method implementation in a cycle
 of default definitions.

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


More information about the ghc-tickets mailing list