28 Oct
2005
28 Oct
'05
11:25 a.m.
Am Donnerstag, 27. Oktober 2005 13:18 schrieb Ross Paterson:
[...]
extend the class syntax with an annotation on the assumptions (! for now), to allow
class (Show a, !Additive a, !Negative a, !Multiplicative a) => Num a where fromInteger :: Integer -> a
one = fromInteger 1 zero = fromInteger 0
I don't think that such a syntax is a good idea, since class contexts are used elsewhere where such a syntax doesn't make sense.
[...]
Best wishes, Wolfgang