X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/1144856ba9d6018d9922c6ede7e97779a0fe6373..5c79bb689ab446551bc7ec4497e6c9b75582837e:/top/flags.sml diff --git a/top/flags.sml b/top/flags.sml new file mode 100644 index 0000000..2017230 --- /dev/null +++ b/top/flags.sml @@ -0,0 +1,28 @@ +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