src/Pure/ML-Systems/overloading_smlnj.ML
changeset 24169 29c9da443edc
parent 24160 ec506abf6183
child 24584 01e83ffa6c54
     1.1 --- a/src/Pure/ML-Systems/overloading_smlnj.ML	Tue Aug 07 14:49:58 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/overloading_smlnj.ML	Tue Aug 07 15:04:35 2007 +0200
     1.3 @@ -26,16 +26,16 @@
     1.4    IntInf.mod and Int31.mod and Int32.mod and Int64.mod and
     1.5    Word.mod and Word8.mod and Word32.mod and Word64.mod;
     1.6  overload < : ('a * 'a -> bool) as
     1.7 -  IntInf.< and Int31.< and Int32.< and Int64.< and
     1.8 +  IntInf.< and Int31.< and Int32.< and Int64.< and Real.< and
     1.9    Word.< and Word8.< and Word32.< and Word64.< and Char.< and String.<;
    1.10  overload <= : ('a * 'a -> bool) as
    1.11 -  IntInf.<= and Int31.<= and Int32.<= and Int64.<= and
    1.12 +  IntInf.<= and Int31.<= and Int32.<= and Int64.<= and Real.<= and
    1.13    Word.<= and Word8.<= and Word32.<= and Word64.<= and Char.<= and String.<=;
    1.14  overload > : ('a * 'a -> bool) as
    1.15 -  IntInf.> and Int31.> and Int32.> and Int64.> and
    1.16 +  IntInf.> and Int31.> and Int32.> and Int64.> and Real.> and
    1.17    Word.> and Word8.> and Word32.> and Word64.> and Char.> and String.>;
    1.18  overload >= : ('a * 'a -> bool) as
    1.19 -  IntInf.>= and Int31.>= and Int32.>= and Int64.>= and
    1.20 +  IntInf.>= and Int31.>= and Int32.>= and Int64.>= and Real.>= and
    1.21    Word.>= and Word8.>= and Word32.>= and Word64.>= and Char.>= and String.>=;
    1.22  overload abs: ('a -> 'a) as IntInf.abs and Int31.abs and Int32.abs and Int64.abs and Real.abs;
    1.23