[MLton-commit] r6633
Vesa Karvonen
vesak at mlton.org
Sat May 31 07:04:40 PDT 2008
Cosmetic changes.
----------------------------------------------------------------------
U mlton/trunk/mlton/xml/shrink.fun
----------------------------------------------------------------------
Modified: mlton/trunk/mlton/xml/shrink.fun
===================================================================
--- mlton/trunk/mlton/xml/shrink.fun 2008-05-30 13:27:37 UTC (rev 6632)
+++ mlton/trunk/mlton/xml/shrink.fun 2008-05-31 14:04:34 UTC (rev 6633)
@@ -40,10 +40,10 @@
ConApp of {con: Con.t,
targs: Type.t vector,
arg: t option}
- | Const of Const.t
- | Lambda of {isInlined: bool ref,
- lam: Lambda.t}
- | Tuple of t vector
+ | Const of Const.t
+ | Lambda of {isInlined: bool ref,
+ lam: Lambda.t}
+ | Tuple of t vector
withtype monoVarInfo = {numOccurrences: int ref,
value: value option ref,
varExp: VarExp.t}
@@ -138,9 +138,9 @@
fun isExhaustive (cases: exp Cases.t): bool =
case cases of
Cases.Con v =>
- ((0 < Vector.length v
- andalso (Vector.length v
- = conNumCons (Pat.con (#1 (Vector.sub (v, 0)))))))
+ (0 < Vector.length v
+ andalso (Vector.length v
+ = conNumCons (Pat.con (#1 (Vector.sub (v, 0))))))
| _ => false
val {get = varInfo: Var.t -> InternalVarInfo.t, set = setVarInfo, ...} =
Property.getSet (Var.plist,
@@ -521,7 +521,7 @@
val shrink = shrinkOnce o shrinkOnce
-structure SccFuns = SccFuns (open S)
+structure SccFuns = SccFuns (S)
val shrink = shrink o SccFuns.sccFuns
More information about the MLton-commit
mailing list