Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/options/options.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/options/options.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3416, Thu Nov 12 21:24:10 2015 UTC revision 3417, Thu Nov 12 23:41:06 2015 UTC
# Line 157  Line 157 
157            val (defs, rest) = List.partition CmdLineConstants.isCmdLineConst args            val (defs, rest) = List.partition CmdLineConstants.isCmdLineConst args
158            val (opts, files) = G.getOpt {            val (opts, files) = G.getOpt {
159                    argOrder = G.RequireOrder,                    argOrder = G.RequireOrder,
160                    options = optionList,                    options = optionList @ ctlOptions,
161                    errFn = fn s => raise Usage s                    errFn = fn s => raise Usage s
162                  } args                  } args
163          (* figure out filename pieces *)          (* figure out filename pieces *)
# Line 218  Line 218 
218                  "  Version: ", Version.message, "\n",                  "  Version: ", Version.message, "\n",
219                  "  Options:"                  "  Options:"
220                ],                ],
221              options = optionList              options = optionList @ ctlOptions
222            }            }
223    
224    end    end

Legend:
Removed from v.3416  
changed lines
  Added in v.3417

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