[MLton-commit] r4012 - in mlton/trunk/mlton: codegen/x86-codegen control elaborate main ssa
Matthew Fluet
MLton@mlton.org
Sat, 20 Aug 2005 06:30:19 -0700
Author: fluet
Date: 2005-08-20 06:29:56 -0700 (Sat, 20 Aug 2005)
New Revision: 4012
Modified:
mlton/trunk/mlton/codegen/x86-codegen/x86-allocate-registers.fun
mlton/trunk/mlton/codegen/x86-codegen/x86-validate.fun
mlton/trunk/mlton/control/control-flags.sml
mlton/trunk/mlton/elaborate/elaborate-core.fun
mlton/trunk/mlton/elaborate/scope.fun
mlton/trunk/mlton/main/main.fun
mlton/trunk/mlton/ssa/analyze.fun
mlton/trunk/mlton/ssa/ssa-tree.fun
mlton/trunk/mlton/ssa/ssa-tree2.fun
Log:
Unused identifiers
Modified: mlton/trunk/mlton/codegen/x86-codegen/x86-allocate-registers.fun
===================================================================
--- mlton/trunk/mlton/codegen/x86-codegen/x86-allocate-registers.fun 2005-08-20 10:09:26 UTC (rev 4011)
+++ mlton/trunk/mlton/codegen/x86-codegen/x86-allocate-registers.fun 2005-08-20 13:29:56 UTC (rev 4012)
@@ -137,6 +137,7 @@
post: future list},
hint: hint list}
+(*
fun toString {dead, commit, remove, futures = {pre, post}, hint}
= let
fun doit (name, l, toString, s)
@@ -155,6 +156,7 @@
doit("future (post): ", List.rev post, future_toString,
doit("hint: ", hint, hint_toString, ""))))))
end
+*)
fun toComments {dead, commit, remove, futures = {pre, post}, hint}
= let
@@ -712,6 +714,7 @@
reserved: Register.t list,
fltstack: fltvalue list}
+(*
fun unique ({entries, fltstack, ...}: t)
= let
fun check_entries (entries: value list, res) =
@@ -745,6 +748,7 @@
andalso
check_fltstack(fltstack, true)
end
+*)
fun toString ({entries, reserved, fltstack}: t)
= let
Modified: mlton/trunk/mlton/codegen/x86-codegen/x86-validate.fun
===================================================================
--- mlton/trunk/mlton/codegen/x86-codegen/x86-validate.fun 2005-08-20 10:09:26 UTC (rev 4011)
+++ mlton/trunk/mlton/codegen/x86-codegen/x86-validate.fun 2005-08-20 13:29:56 UTC (rev 4012)
@@ -1276,7 +1276,7 @@
= (if List.forall(assembly,
fn assembly
=> Assembly.validate {assembly = assembly}
- handle Fail msg
+ handle Fail _
=> (List.foreach
(assembly,
fn assembly
Modified: mlton/trunk/mlton/control/control-flags.sml
===================================================================
--- mlton/trunk/mlton/control/control-flags.sml 2005-08-20 10:09:26 UTC (rev 4011)
+++ mlton/trunk/mlton/control/control-flags.sml 2005-08-20 13:29:56 UTC (rev 4012)
@@ -760,6 +760,7 @@
| OptPassesDefault
| OptPassesMinimal
+(*
local open Layout
in
val layout =
@@ -768,6 +769,7 @@
| OptPassesMinimal => str "Minimal"
end
val toString = Layout.toString o layout
+*)
end
datatype optimizationPasses = datatype OptimizationPasses.t
val optimizationPassesSet :
Modified: mlton/trunk/mlton/elaborate/elaborate-core.fun
===================================================================
--- mlton/trunk/mlton/elaborate/elaborate-core.fun 2005-08-20 10:09:26 UTC (rev 4011)
+++ mlton/trunk/mlton/elaborate/elaborate-core.fun 2005-08-20 13:29:56 UTC (rev 4012)
@@ -1032,10 +1032,10 @@
(region, str "invalid type for _address",
Type.layoutPretty elabedTy)
val expandedPtrTy = expandedTy
- val ctypePtrTy =
+ val () =
case Type.toCType expandedPtrTy of
- SOME {ctype = CType.Pointer, ...} => CType.Pointer
- | _ => (error (); CType.Pointer)
+ SOME {ctype = CType.Pointer, ...} => ()
+ | _ => (error (); ())
val addrExp =
mkAddress {expandedPtrTy = expandedPtrTy,
name = name}
@@ -1168,10 +1168,10 @@
case Type.toCType expandedCbTy of
SOME {ctype, ...} => ctype
| NONE => (error (); CType.word (WordSize.default, {signed = false}))
- val ctypePtrTy =
+ val () =
case Type.toCType expandedPtrTy of
- SOME {ctype = CType.Pointer, ...} => CType.Pointer
- | _ => (error (); CType.Pointer)
+ SOME {ctype = CType.Pointer, ...} => ()
+ | _ => (error (); ())
val ptrArg = Var.newNoname ()
val ptrExp = Cexp.var (ptrArg, expandedPtrTy)
val symExp =
Modified: mlton/trunk/mlton/elaborate/scope.fun
===================================================================
--- mlton/trunk/mlton/elaborate/scope.fun 2005-08-20 10:09:26 UTC (rev 4011)
+++ mlton/trunk/mlton/elaborate/scope.fun 2005-08-20 13:29:56 UTC (rev 4012)
@@ -220,8 +220,6 @@
let
datatype z = datatype PrimKind.t
fun do1 ((a, u), f) = (f a, u)
- fun do2 ((a1, u1), (a2, u2), f) =
- (f (a1, a2), combineUp (u1, u2))
in
case kind of
Address {name, ty} =>
Modified: mlton/trunk/mlton/main/main.fun
===================================================================
--- mlton/trunk/mlton/main/main.fun 2005-08-20 10:09:26 UTC (rev 4011)
+++ mlton/trunk/mlton/main/main.fun 2005-08-20 13:29:56 UTC (rev 4012)
@@ -312,7 +312,7 @@
usage (concat ["invalid -opt-passes flag: ", s])
fun doit optPasses =
List.foreach
- (!optimizationPassesSet, fn (il,optPassesSet) =>
+ (!optimizationPassesSet, fn (_,optPassesSet) =>
case optPassesSet optPasses of
Result.Yes () => ()
| Result.No s' => err ("il :: " ^ s'))
Modified: mlton/trunk/mlton/ssa/analyze.fun
===================================================================
--- mlton/trunk/mlton/ssa/analyze.fun 2005-08-20 10:09:26 UTC (rev 4011)
+++ mlton/trunk/mlton/ssa/analyze.fun 2005-08-20 13:29:56 UTC (rev 4012)
@@ -184,7 +184,7 @@
Option.layout (Vector.layout layout),
Layout.ignore)
loopTransfer
- fun loopStatement (s as Statement.T {var, exp, ty}): unit =
+ fun loopStatement (Statement.T {var, exp, ty}): unit =
let
val v =
case exp of
Modified: mlton/trunk/mlton/ssa/ssa-tree.fun
===================================================================
--- mlton/trunk/mlton/ssa/ssa-tree.fun 2005-08-20 10:09:26 UTC (rev 4011)
+++ mlton/trunk/mlton/ssa/ssa-tree.fun 2005-08-20 13:29:56 UTC (rev 4012)
@@ -970,7 +970,7 @@
structure Node = Graph.Node
structure Edge = Graph.Edge
in
- fun determineControlFlow ({blocks, name, start, ...}: dest) =
+ fun determineControlFlow ({blocks, start, ...}: dest) =
let
open Dot
val g = Graph.new ()
Modified: mlton/trunk/mlton/ssa/ssa-tree2.fun
===================================================================
--- mlton/trunk/mlton/ssa/ssa-tree2.fun 2005-08-20 10:09:26 UTC (rev 4011)
+++ mlton/trunk/mlton/ssa/ssa-tree2.fun 2005-08-20 13:29:56 UTC (rev 4012)
@@ -1427,7 +1427,7 @@
structure Node = Graph.Node
structure Edge = Graph.Edge
in
- fun determineControlFlow ({blocks, name, start, ...}: dest) =
+ fun determineControlFlow ({blocks, start, ...}: dest) =
let
open Dot
val g = Graph.new ()