[GHC] #1539: Ord should not default to ()

GHC trac at galois.com
Wed Jul 18 10:34:47 EDT 2007


#1539: Ord should not default to ()
------------------------------------------------+---------------------------
    Reporter:  Peter Berry <pwberry at gmail.com>  |        Owner:         
        Type:  bug                              |       Status:  closed 
    Priority:  low                              |    Milestone:         
   Component:  Compiler                         |      Version:  6.7    
    Severity:  normal                           |   Resolution:  wontfix
    Keywords:                                   |   Difficulty:  Unknown
          Os:  Unknown                          |     Testcase:         
Architecture:  Unknown                          |  
------------------------------------------------+---------------------------
Changes (by igloo):

  * resolution:  => wontfix
  * status:  new => closed

Comment:

 If you compile the program, rather than running it from ghci, then you
 will get standard Haskell defaulting. You can also use -fno-extended-
 default-rules to get standard defaulting in ghci (you could put this in an
 OPTIONS_GHC pragma at the top of quickcheck test modules). You can also
 give tests an explicit type rather than letting defaulting resolve an
 ambiguity, of course.

 There are also good reasons for defaulting to () by default (due to some
 hoops printf has to jump through; details are in the user guide), so I
 don't think we should change this.

 Removing the monomorphism restriction and/or defaulting is a matter for
 Haskell' to resolve!

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1539>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs


More information about the Glasgow-haskell-bugs mailing list