Diff of /branches/vis12/src/compiler/driver/options.sml

Parent Directory | Revision Log | Patch

	revision 2681, Sun Aug 24 18:59:07 2014 UTC	revision 2682, Mon Aug 25 17:20:56 2014 UTC
#	Line 45	Line 45
45
46	fun mkFlagOption (tag, flag, desc) = let	fun mkFlagOption (tag, flag, desc) = let
47	val default = !flag	val default = !flag
48	val tag = if default	val (tag, desc) = if default
49	then "disable-"^tag	then ("disable-"^tag, "disable " ^ desc)
50	else "enable-"^tag	else ("enable-"^tag, "enable " ^ desc)
51	in {	in {
52	short = "", long = [tag],	short = "", long = [tag],
53	desc = setFlag (flag, not default),	desc = setFlag (flag, not default),

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.2681   changed lines   Added in v.2682

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0