--- /dev/null
+signature FLAGS =
+sig
+ val verbose : Flag.flag
+ val liveness : Flag.flag
+ val ast : Flag.flag
+ val ir : Flag.flag
+ val assem : Flag.flag
+ val color : Flag.flag
+ val safe : Flag.flag
+
+ val reset : unit -> unit (* Anus... *)
+end
+
+structure Flags :> FLAGS =
+struct
+ val verbose = Flag.flag "verbose"
+ val liveness = Flag.flag "liveness"
+ val ast = Flag.flag "ast"
+ val ir = Flag.flag "ir"
+ val assem = Flag.flag "assem"
+ val color = Flag.flag "color"
+ val safe = Flag.flag "safe"
+
+ fun reset () =
+ (List.app Flag.unset [verbose, ast,
+ ir, assem, liveness, safe])
+end
+
\ No newline at end of file