Diff of /trunk/src/compiler/driver/options.sml

Parent Directory | Revision Log | Patch

	revision 2472, Sat Oct 12 14:23:12 2013 UTC	revision 2473, Sat Oct 12 14:35:40 2013 UTC
#	Line 109	Line 109
109
110	fun parseCmdLine args = let	fun parseCmdLine args = let
111	(* first we filter out any variable definitions *)	(* first we filter out any variable definitions *)
112	val (defs, rest) = List.partition Inputs.isCmdLineInput args	val (defs, rest) = List.partition CmdLineInputs.isCmdLineInput args
113	val (opts, files) = G.getOpt {	val (opts, files) = G.getOpt {
114	argOrder = G.RequireOrder,	argOrder = G.RequireOrder,
115	options = optionList,	options = optionList,

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.2472   changed lines   Added in v.2473

---

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