Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/system/smlnj/init/pervasive.sml
ViewVC logotype

Diff of /sml/trunk/src/system/smlnj/init/pervasive.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1685, Thu Nov 11 16:51:42 2004 UTC revision 1686, Thu Nov 11 23:26:27 2004 UTC
# Line 21  Line 21 
21      structure W31 = InlineT.Word31      structure W31 = InlineT.Word31
22      structure W32 = InlineT.Word32      structure W32 = InlineT.Word32
23      structure CW64 = CoreWord64      structure CW64 = CoreWord64
24        structure CI64 = CoreInt64
25      structure R64 = InlineT.Real64      structure R64 = InlineT.Real64
26      structure CV = InlineT.CharVector      structure CV = InlineT.CharVector
27      structure PV = InlineT.PolyVector      structure PV = InlineT.PolyVector
# Line 56  Line 57 
57      fun stringge (a, b) = stringle (b, a)      fun stringge (a, b) = stringle (b, a)
58  in  in
59  overload ~ :   ('a -> 'a)  overload ~ :   ('a -> 'a)
60     as  I31.~ and I32.~ and CII.~     as  I31.~ and I32.~ and CI64.~ and CII.~
61     and w8neg and W31.~ and W32.~ and CW64.~     and w8neg and W31.~ and W32.~ and CW64.~
62     and R64.~     and R64.~
63  overload + :   ('a * 'a -> 'a)  overload + :   ('a * 'a -> 'a)
64    as  I31.+ and I32.+ and CII.+    as  I31.+ and I32.+ and CI64.+ and CII.+
65    and w8plus and W31.+ and W32.+ and CW64.+    and w8plus and W31.+ and W32.+ and CW64.+
66    and R64.+    and R64.+
67  overload - :   ('a * 'a -> 'a)  overload - :   ('a * 'a -> 'a)
68    as  I31.- and I32.- and CII.-    as  I31.- and I32.- and CI64.- and CII.-
69    and w8minus and W31.- and W32.- and CW64.-    and w8minus and W31.- and W32.- and CW64.-
70    and R64.-    and R64.-
71  overload * :   ('a * 'a -> 'a)  overload * :   ('a * 'a -> 'a)
72    as  I31.* and I32.* and CII.*    as  I31.* and I32.* and CI64.* and CII.*
73    and w8times and W31.* and W32.* and CW64.*    and w8times and W31.* and W32.* and CW64.*
74    and R64.*    and R64.*
75  overload / : ('a * 'a -> 'a)  overload / : ('a * 'a -> 'a)
76    as R64./    as R64./
77  overload div : ('a * 'a -> 'a)  overload div : ('a * 'a -> 'a)
78    as  I31.div and I32.div and CII.div    as  I31.div and I32.div and CI64.div and CII.div
79    and W8.div and W31.div and W32.div and CW64.div    and W8.div and W31.div and W32.div and CW64.div
80  overload mod : ('a * 'a -> 'a)  overload mod : ('a * 'a -> 'a)
81    as  I31.mod and I32.mod and CII.mod    as  I31.mod and I32.mod and CI64.mod and CII.mod
82    and W8.mod and W31.mod and W32.mod and CW64.mod    and W8.mod and W31.mod and W32.mod and CW64.mod
83  overload < :   ('a * 'a -> bool)  overload < :   ('a * 'a -> bool)
84    as  I31.< and I32.< and CII.<    as  I31.< and I32.< and CI64.< and CII.<
85    and W8.< and W31.< and W32.< and CW64.<    and W8.< and W31.< and W32.< and CW64.<
86    and R64.<    and R64.<
87    and InlineT.Char.<    and InlineT.Char.<
88    and stringlt    and stringlt
89  overload <= :   ('a * 'a -> bool)  overload <= :   ('a * 'a -> bool)
90    as  I31.<= and I32.<= and CII.<=    as  I31.<= and I32.<= and CI64.<= and CII.<=
91    and W8.<= and W31.<= and W32.<= and CW64.<=    and W8.<= and W31.<= and W32.<= and CW64.<=
92    and R64.<=    and R64.<=
93    and InlineT.Char.<=    and InlineT.Char.<=
94    and stringle    and stringle
95  overload > :   ('a * 'a -> bool)  overload > :   ('a * 'a -> bool)
96    as  I31.> and I32.> and CII.>    as  I31.> and I32.> and CI64.> and CII.>
97    and W8.> and W31.> and W32.> and CW64.>    and W8.> and W31.> and W32.> and CW64.>
98    and R64.>    and R64.>
99    and InlineT.Char.>    and InlineT.Char.>
100    and stringgt    and stringgt
101  overload >= :   ('a * 'a -> bool)  overload >= :   ('a * 'a -> bool)
102    as  I31.>= and I32.>= and CII.>=    as  I31.>= and I32.>= and CI64.>= and CII.>=
103    and W8.>= and W31.>= and W32.>= and CW64.>=    and W8.>= and W31.>= and W32.>= and CW64.>=
104    and R64.>=    and R64.>=
105    and InlineT.Char.>=    and InlineT.Char.>=
106    and stringge    and stringge
107  overload abs : ('a -> 'a)  overload abs : ('a -> 'a)
108    as I31.abs and I32.abs and CII.abs and R64.abs    as I31.abs and I32.abs and CI64.abs and CII.abs and R64.abs
109    
110  type unit = PrimTypes.unit  type unit = PrimTypes.unit
111  type exn = PrimTypes.exn  type exn = PrimTypes.exn

Legend:
Removed from v.1685  
changed lines
  Added in v.1686

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0