[MLton-commit] r5782

Vesa Karvonen vesak at mlton.org
Thu Jul 19 17:29:23 PDT 2007


Eliminated some fixity declarations.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/dummy.sml
U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/hash.sml
U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/dummy.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/dummy.sml	2007-07-19 21:01:44 UTC (rev 5781)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/dummy.sml	2007-07-20 00:29:22 UTC (rev 5782)
@@ -7,9 +7,6 @@
 functor WithDummy (Arg : OPEN_GENERIC) : DUMMY_GENERIC = struct
    (* <-- SML/NJ workaround *)
    open TopLevel
-   infix  7 *`
-   infix  6 +`
-   infix  0 &
    (* SML/NJ workaround --> *)
 
    structure Dummy =
@@ -36,7 +33,7 @@
       val tuple  = id
       val record = id
 
-      fun a +` b = fn () => INL (a ()) handle _ => INR (b ())
+      fun op +` (a, b) = fn () => INL (a ()) handle _ => INR (b ())
       val unit = fn () => ()
       fun C0 _ = unit
       fun C1 _ = id

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/hash.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/hash.sml	2007-07-19 21:01:44 UTC (rev 5781)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/hash.sml	2007-07-20 00:29:22 UTC (rev 5782)
@@ -7,15 +7,7 @@
 functor WithHash (Arg : WITH_HASH_DOM) : HASH_GENERIC = struct
    (* <-- SML/NJ workaround *)
    open TopLevel
-   infix  7 *` >>
-   infix  6 +`
-   infix  4 <\ \>
-   infixr 4 </ />
-   infix  2 >| andAlso
-   infixr 2 |<
-   infix  1 orElse >>=
    infix  0 &
-   infixr 0 -->
    (* SML/NJ workaround --> *)
 
    type 'a t = 'a -> {totWidth : Int.t, maxDepth : Int.t} -> Word.t

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml	2007-07-19 21:01:44 UTC (rev 5781)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/type-info.sml	2007-07-20 00:29:22 UTC (rev 5782)
@@ -7,15 +7,8 @@
 functor WithTypeInfo (Arg : OPEN_GENERIC) : TYPE_INFO_GENERIC = struct
    (* <-- SML/NJ workaround *)
    open TopLevel
-   infix  7 *`
-   infix  6 +`
-   infix  4 <\ \>
-   infixr 4 </ />
-   infix  2 >| andAlso
-   infixr 2 |<
+   infix  2 andAlso
    infix  1 orElse
-   infix  0 &
-   infixr 0 -->
    (* SML/NJ workaround --> *)
 
    fun revMerge (xs, ys) = let
@@ -97,13 +90,13 @@
       val isoProduct = const
       val isoSum = const
 
-      fun (INP {base = bl, elems = el, exn = hl, recs = rl, ...}) *`
-          (INP {base = br, elems = er, exn = hr, recs = rr, ...}) =
+      fun op *` (INP {base = bl, elems = el, exn = hl, recs = rl, ...},
+                 INP {base = br, elems = er, exn = hr, recs = rr, ...}) =
           INP {base = bl andalso br, elems = el + er, exn = hl orelse hr,
                recs = merge (rl, rr)}
 
-      fun (INS {alts = al, base = bl, exn = hl, recs = rl, ...}) +`
-          (INS {alts = ar, base = br, exn = hr, recs = rr, ...}) =
+      fun op +` (INS {alts = al, base = bl, exn = hl, recs = rl, ...},
+                 INS {alts = ar, base = br, exn = hr, recs = rr, ...}) =
           INS {alts = al + ar, base = bl orelse br, exn = hl orelse hr,
                recs = merge (rl, rr)}
 
@@ -125,7 +118,7 @@
                     end) ?
       end
 
-      fun _ --> _ = base
+      fun op --> _ = base
 
       val exn = INT {base = true, exn = true, pure = true, recs = []}
       fun regExn _ _ = ()




More information about the MLton-commit mailing list