Changes between Version 12 and Version 13 of StandardClasses


Ignore:
Timestamp:
Jun 4, 2007 9:35:10 AM (7 years ago)
Author:
ross@…
Comment:

issue with Real noted on haskell-cafe

Legend:

Unmodified
Added
Removed
Modified
  • StandardClasses

    v12 v13  
    5252Note that the `Float` and `Double` instances will not satisfy the usual axioms for these structures. 
    5353 
     54=== The Real class === 
     55Issues: 
     56 * The class assumes a mapping to `Rational`, but this cannot be defined for structures intermediate between the rationals and reals even though the operations of subclasses make sense for them, e.g. surds, computable reals. 
     57 
    5458=== The Fractional class === 
    5559Issues: