# HG changeset patch
# User wenzelm
# Date 1186423147 -7200
# Node ID ec506abf618394bfaf16ca030087e9fc6f33c073
# Parent  a02941b15d0afcd1805d47e7969d5737379425e0
added more instances;

diff -r a02941b15d0a -r ec506abf6183 src/Pure/ML-Systems/overloading_smlnj.ML
--- a/src/Pure/ML-Systems/overloading_smlnj.ML	Mon Aug 06 19:58:59 2007 +0200
+++ b/src/Pure/ML-Systems/overloading_smlnj.ML	Mon Aug 06 19:59:07 2007 +0200
@@ -8,29 +8,35 @@
 Control.overloadKW := true;
 
 overload ~ : ('a -> 'a) as
-  IntInf.~ and Int31.~ and Int32.~ and Int64.~ and Word8.~ and Word32.~ and Word64.~ and Real.~;
+  IntInf.~ and Int31.~ and Int32.~ and Int64.~ and
+  Word.~ and Word8.~ and Word32.~ and Word64.~ and Real.~;
 overload + : ('a * 'a -> 'a) as
-  IntInf.+ and Int31.+ and Int32.+ and Int64.+ and Word8.+ and Word32.+ and Word64.+ and Real.+;
+  IntInf.+ and Int31.+ and Int32.+ and Int64.+ and
+  Word.+ and Word8.+ and Word32.+ and Word64.+ and Real.+;
 overload - : ('a * 'a -> 'a) as
-  IntInf.- and Int31.- and Int32.- and Int64.- and Word8.- and Word32.- and Word64.- and Real.-;
+  IntInf.- and Int31.- and Int32.- and Int64.- and
+  Word.- and Word8.- and Word32.- and Word64.- and Real.-;
 overload * : ('a * 'a -> 'a) as
-  IntInf.* and Int31.* and Int32.* and Int64.* and Word8.* and Word32.* and Word64.* and Real.*;
+  IntInf.* and Int31.* and Int32.* and Int64.* and
+  Word.* and Word8.* and Word32.* and Word64.* and Real.*;
 overload div: ('a * 'a -> 'a) as
-  IntInf.div and Int31.div and Int32.div and Int64.div and Word8.div and Word32.div and Word64.div;
+  IntInf.div and Int31.div and Int32.div and Int64.div and
+  Word.div and Word8.div and Word32.div and Word64.div;
 overload mod: ('a * 'a -> 'a) as
-  IntInf.mod and Int31.mod and Int32.mod and Int64.mod and Word8.mod and Word32.mod and Word64.mod;
+  IntInf.mod and Int31.mod and Int32.mod and Int64.mod and
+  Word.mod and Word8.mod and Word32.mod and Word64.mod;
 overload < : ('a * 'a -> bool) as
-  IntInf.< and Int31.< and Int32.< and Int64.< and Word8.< and Word32.< and Word64.< and
-  Char.< and String.<;
+  IntInf.< and Int31.< and Int32.< and Int64.< and
+  Word.< and Word8.< and Word32.< and Word64.< and Char.< and String.<;
 overload <= : ('a * 'a -> bool) as
-  IntInf.<= and Int31.<= and Int32.<= and Int64.<= and Word8.<= and Word32.<= and Word64.<= and
-  Char.<= and String.<=;
+  IntInf.<= and Int31.<= and Int32.<= and Int64.<= and
+  Word.<= and Word8.<= and Word32.<= and Word64.<= and Char.<= and String.<=;
 overload > : ('a * 'a -> bool) as
-  IntInf.> and Int31.> and Int32.> and Int64.> and Word8.> and Word32.> and Word64.> and
-  Char.> and String.>;
+  IntInf.> and Int31.> and Int32.> and Int64.> and
+  Word.> and Word8.> and Word32.> and Word64.> and Char.> and String.>;
 overload >= : ('a * 'a -> bool) as
-  IntInf.>= and Int31.>= and Int32.>= and Int64.>= and Word8.>= and Word32.>= and Word64.>= and
-  Char.>= and String.>=;
+  IntInf.>= and Int31.>= and Int32.>= and Int64.>= and
+  Word.>= and Word8.>= and Word32.>= and Word64.>= and Char.>= and String.>=;
 overload abs: ('a -> 'a) as IntInf.abs and Int31.abs and Int32.abs and Int64.abs and Real.abs;
 
 Control.overloadKW := false;