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/branches/arith64/system/smlnj/init/pervasive.sml
ViewVC logotype

Diff of /sml/branches/arith64/system/smlnj/init/pervasive.sml

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

revision 3999, Thu Dec 18 15:56:52 2014 UTC revision 4000, Fri Dec 19 22:33:49 2014 UTC
# Line 68  Line 68 
68  in  in
69  overload ~ :   ('a -> 'a)  overload ~ :   ('a -> 'a)
70     as  I31.~ and I32.~ and CI64.~ and CII.~     as  I31.~ and I32.~ and CI64.~ and CII.~
71     and w8neg and W31.~ and W32.~ and CW64.~     and W31.~ and w8neg and W32.~ and CW64.~
72     and R64.~     and R64.~
73  overload + :   ('a * 'a -> 'a)  overload + :   ('a * 'a -> 'a)
74    as  I31.+ and I32.+ and CI64.+ and CII.+    as  I31.+ and I32.+ and CI64.+ and CII.+
75    and w8plus and W31.+ and W32.+ and CW64.+    and W31.+ and w8plus and W32.+ and CW64.+
76    and R64.+    and R64.+
77  overload - :   ('a * 'a -> 'a)  overload - :   ('a * 'a -> 'a)
78    as  I31.- and I32.- and CI64.- and CII.-    as  I31.- and I32.- and CI64.- and CII.-
79    and w8minus and W31.- and W32.- and CW64.-    and W31.- and w8minus and W32.- and CW64.-
80    and R64.-    and R64.-
81  overload * :   ('a * 'a -> 'a)  overload * :   ('a * 'a -> 'a)
82    as  I31.* and I32.* and CI64.* and CII.*    as  I31.* and I32.* and CI64.* and CII.*
83    and w8times and W31.* and W32.* and CW64.*    and W31.* and w8times and W32.* and CW64.*
84    and R64.*    and R64.*
85  (*  (*
86  overload / : ('a * 'a -> 'a)  overload / : ('a * 'a -> 'a)
# Line 89  Line 89 
89  val op / = R64./                (* temporary hack around overloading bug *)  val op / = R64./                (* temporary hack around overloading bug *)
90  overload div : ('a * 'a -> 'a)  overload div : ('a * 'a -> 'a)
91    as  I31.div and I32.div and CI64.div and CII.div    as  I31.div and I32.div and CI64.div and CII.div
92    and W8.div and W31.div and W32.div and CW64.div    and W31.div and W8.div and W32.div and CW64.div
93  overload mod : ('a * 'a -> 'a)  overload mod : ('a * 'a -> 'a)
94    as  I31.mod and I32.mod and CI64.mod and CII.mod    as  I31.mod and I32.mod and CI64.mod and CII.mod
95    and W8.mod and W31.mod and W32.mod and CW64.mod    and W31.mod and W8.mod and W32.mod and CW64.mod
96  overload < :   ('a * 'a -> bool)  overload < :   ('a * 'a -> bool)
97    as  I31.< and I32.< and CI64.< and CII.<    as  I31.< and I32.< and CI64.< and CII.<
98    and W8.< and W31.< and W32.< and CW64.<    and W31.< and W8.< and W32.< and CW64.<
99    and R64.<    and R64.<
100    and InlineT.Char.<    and InlineT.Char.<
101    and stringlt    and stringlt
102  overload <= :   ('a * 'a -> bool)  overload <= :   ('a * 'a -> bool)
103    as  I31.<= and I32.<= and CI64.<= and CII.<=    as  I31.<= and I32.<= and CI64.<= and CII.<=
104    and W8.<= and W31.<= and W32.<= and CW64.<=    and W31.<= and W8.<= and W32.<= and CW64.<=
105    and R64.<=    and R64.<=
106    and InlineT.Char.<=    and InlineT.Char.<=
107    and stringle    and stringle
108  overload > :   ('a * 'a -> bool)  overload > :   ('a * 'a -> bool)
109    as  I31.> and I32.> and CI64.> and CII.>    as  I31.> and I32.> and CI64.> and CII.>
110    and W8.> and W31.> and W32.> and CW64.>    and W31.> and W8.> and W32.> and CW64.>
111    and R64.>    and R64.>
112    and InlineT.Char.>    and InlineT.Char.>
113    and stringgt    and stringgt
114  overload >= :   ('a * 'a -> bool)  overload >= :   ('a * 'a -> bool)
115    as  I31.>= and I32.>= and CI64.>= and CII.>=    as  I31.>= and I32.>= and CI64.>= and CII.>=
116    and W8.>= and W31.>= and W32.>= and CW64.>=    and W31.>= and W8.>= and W32.>= and CW64.>=
117    and R64.>=    and R64.>=
118    and InlineT.Char.>=    and InlineT.Char.>=
119    and stringge    and stringge

Legend:
Removed from v.3999  
changed lines
  Added in v.4000

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