[/] [trunk/] [src/] [urpal.sml] - Diff 62 ⟶ 65

Diff between revs 62 and 65
Rev 62 Rev 65
Line 1... Line 1... 
(* $Id: urpal.sml 62 2008-08-20 11:20:33Z tbourke $
 
(* $Id: urpal.sml 65 2008-08-25 22:47:20Z tbourke $
 
 *
 
 *
 
 * Copyright (c) 2008 Timothy Bourke (University of NSW and NICTA)
 
 * Copyright (c) 2008 Timothy Bourke (University of NSW and NICTA)
 
 * All rights reserved.
 
 * All rights reserved.
 
 *
 
 *
 
 * This program is free software; you can redistribute it and/or modify it
 
 * This program is free software; you can redistribute it and/or modify it
Line 91... Line 91... 
         handle IO.Io {cause, ...} => (Util.warn
 
         handle IO.Io {cause, ...} => (Util.warn
 
           ["cannot write to '", outf, "': ",
 
           ["cannot write to '", outf, "': ",
 
            General.exnMessage cause]; OS.Process.failure))
 
            General.exnMessage cause]; OS.Process.failure))
 
 
 
 
 
  fun main (name, args) = let
 
  fun main (name, args) = let
 
 
 
      val _ = Util.debugIndent (Settings.Detailed,fn()=>["try config files..."])
 
      val _ = tryConfigFiles ()
 
      val _ = tryConfigFiles ()
 
 
 
      val _ = Util.debugOutdent (Settings.Detailed, fn()=>["done."])
 
      val (cmds, {inputfile, outputfile}) = CMD.processCommands args
 
      val (cmds, {inputfile, outputfile}) = CMD.processCommands args
 
      val _ = Settings.validate ()
 
      val _ = Settings.validate ()
 
      val freshEnv = SOME (CmdEnv.fromNta ParsedNta.emptyNta)
 
      val freshEnv = SOME (CmdEnv.fromNta ParsedNta.emptyNta)
 
 
 
 
 
      fun doCmd (a as CMD.ScriptFile _, NONE)       = doCmd (a, freshEnv)
 
      fun doCmd (a as CMD.ScriptFile _, NONE)       = doCmd (a, freshEnv)
 
      fun doCmd (a as CMD.ScriptFile _, NONE)       = doCmd (a, freshEnv)
 
      fun doCmd (a as CMD.ScriptFile _, NONE)       = doCmd (a, freshEnv)