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 1682, Tue Nov 9 23:48:09 2004 UTC revision 1683, Thu Nov 11 00:12:41 2004 UTC
# Line 20  Line 20 
20      structure W8 = InlineT.Word8      structure W8 = InlineT.Word8
21      structure W31 = InlineT.Word31      structure W31 = InlineT.Word31
22      structure W32 = InlineT.Word32      structure W32 = InlineT.Word32
23        structure CW64 = CoreWord64
24      structure R64 = InlineT.Real64      structure R64 = InlineT.Real64
25      structure CV = InlineT.CharVector      structure CV = InlineT.CharVector
26      structure PV = InlineT.PolyVector      structure PV = InlineT.PolyVector
# Line 31  Line 32 
32      val w8plus = w8adapt W8.+      val w8plus = w8adapt W8.+
33      val w8minus = w8adapt W8.-      val w8minus = w8adapt W8.-
34      val w8times = w8adapt W8.*      val w8times = w8adapt W8.*
35        val w8neg = w8adapt W8.~
     fun w8mod (a, b) = w8minus (a, w8times (W8.div (a, b), b))  
   
     val w8neg = InlineT.Int31.trunc_word8 o InlineT.Int31.~ o  
                 InlineT.Int31.extend_word8  
     val w31neg = InlineT.Word31.copyf_int31 o InlineT.Int31.~ o  
                  InlineT.Word31.copyt_int31  
     val w32neg = InlineT.Word32.copyf_int32 o InlineT.Int32.~ o  
                  InlineT.Word32.copyt_int32  
36    
37      fun stringlt (a, b) = let      fun stringlt (a, b) = let
38          val al = CV.length a          val al = CV.length a
# Line 63  Line 56 
56      fun stringge (a, b) = stringle (b, a)      fun stringge (a, b) = stringle (b, a)
57  in  in
58  overload ~ :   ('a -> 'a)  overload ~ :   ('a -> 'a)
59     as  I31.~ and I32.~ and CII.~ and w8neg and w31neg and w32neg and R64.~     as  I31.~ and I32.~ and CII.~
60       and w8neg and W31.~ and W32.~ and CW64.~
61       and R64.~
62  overload + :   ('a * 'a -> 'a)  overload + :   ('a * 'a -> 'a)
63    as I31.+ and I32.+ and CII.+ and w8plus and W31.+ and W32.+ and R64.+    as  I31.+ and I32.+ and CII.+
64      and w8plus and W31.+ and W32.+ and CW64.+
65      and R64.+
66  overload - :   ('a * 'a -> 'a)  overload - :   ('a * 'a -> 'a)
67    as  I31.- and I32.- and CII.- and w8minus and W31.- and W32.- and R64.-    as  I31.- and I32.- and CII.-
68      and w8minus and W31.- and W32.- and CW64.-
69      and R64.-
70  overload * :   ('a * 'a -> 'a)  overload * :   ('a * 'a -> 'a)
71    as I31.* and I32.* and CII.* and w8times and W31.* and W32.* and R64.*    as  I31.* and I32.* and CII.*
72      and w8times and W31.* and W32.* and CW64.*
73      and R64.*
74  overload / : ('a * 'a -> 'a)  overload / : ('a * 'a -> 'a)
75    as R64./    as R64./
76  overload div : ('a * 'a -> 'a)  overload div : ('a * 'a -> 'a)
77    as  I31.div and I32.div and CII.div and W8.div and W31.div and W32.div    as  I31.div and I32.div and CII.div
78      and W8.div and W31.div and W32.div and CW64.div
79  overload mod : ('a * 'a -> 'a)  overload mod : ('a * 'a -> 'a)
80    as  I31.mod and I32.mod and CII.mod and w8mod and W31.mod and W32.mod    as  I31.mod and I32.mod and CII.mod
81      and W8.mod and W31.mod and W32.mod and CW64.mod
82  overload < :   ('a * 'a -> bool)  overload < :   ('a * 'a -> bool)
83    as  I31.< and I32.< and CII.< and W8.< and W31.< and W32.< and R64.<    as  I31.< and I32.< and CII.<
84      and W8.< and W31.< and W32.< and CW64.<
85      and R64.<
86    and InlineT.Char.<    and InlineT.Char.<
87    and stringlt    and stringlt
88  overload <= :   ('a * 'a -> bool)  overload <= :   ('a * 'a -> bool)
89    as I31.<= and I32.<= and CII.<= and W8.<= and W31.<= and W32.<= and R64.<=    as  I31.<= and I32.<= and CII.<=
90      and W8.<= and W31.<= and W32.<= and CW64.<=
91      and R64.<=
92    and InlineT.Char.<=    and InlineT.Char.<=
93    and stringle    and stringle
94  overload > :   ('a * 'a -> bool)  overload > :   ('a * 'a -> bool)
95    as I31.> and I32.> and CII.> and W8.> and W31.> and W32.> and R64.>    as  I31.> and I32.> and CII.>
96      and W8.> and W31.> and W32.> and CW64.>
97      and R64.>
98    and InlineT.Char.>    and InlineT.Char.>
99    and stringgt    and stringgt
100  overload >= :   ('a * 'a -> bool)  overload >= :   ('a * 'a -> bool)
101    as I31.>= and I32.>= and CII.>= and W8.>= and W31.>= and W32.>= and R64.>=    as  I31.>= and I32.>= and CII.>=
102      and W8.>= and W31.>= and W32.>= and CW64.>=
103      and R64.>=
104    and InlineT.Char.>=    and InlineT.Char.>=
105    and stringge    and stringge
106  overload abs : ('a -> 'a)  overload abs : ('a -> 'a)

Legend:
Removed from v.1682  
changed lines
  Added in v.1683

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