[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