fun parseFiles (filenames : string list) : (string, Syntax.dec list) Either.either =
  let fun go [] acc = Either.Right (concat (rev acc))
        | go (f :: fs) acc =
            case Parser.parse f
              Either.Right prog => go fs (prog :: acc)
              err => err
  in go [] filenames

val _ = parseFiles (CommandLine.arguments ())