diff options
Diffstat (limited to 'src/resp.cpp')
| -rw-r--r-- | src/resp.cpp | 31 |
1 files changed, 17 insertions, 14 deletions
diff --git a/src/resp.cpp b/src/resp.cpp index e3c956f..765939c 100644 --- a/src/resp.cpp +++ b/src/resp.cpp @@ -68,16 +68,18 @@ print_usage(char* name, bool error) os << "Usage: " << name << " [OPTION]... [FILE]..." << endl; os << "Evaluate and/or compile Resp code" << endl; os << endl; - os << " -h Display this help and exit" << endl; - os << " -r Enter REPL after evaluating files" << endl; - os << " -b BACKEND Use backend (llvm or c)" << endl; - os << " -g Debug (disable optimisation)" << endl; - os << " -P Parse and pretty-print only" << endl; - os << " -T Type check and annotate only" << endl; - os << " -L Lambda lift only" << endl; - os << " -S Compile to assembly only (do not evaluate)" << endl; - os << " -e EXPRESSION Evaluate EXPRESSION" << endl; - os << " -o FILE Compile output to FILE (don't run)" << endl; + os << " -a Annotate output with types" << endl; + os << " -b BACKEND Use backend (llvm or c)" << endl; + os << " -e EXPRESSION Evaluate EXPRESSION" << endl; + os << " -g Debug (disable optimisation)" << endl; + os << " -h Display this help and exit" << endl; + os << " -o FILE Compile output to FILE (don't run)" << endl; + os << " -r Enter REPL after evaluating files" << endl; + os << " -P Parse only" << endl; + os << " -T Type check only" << endl; + os << " -L Lambda lift only" << endl; + os << " -S Compile to assembly only (do not execute)" << endl; + return error ? 1 : 0; } @@ -92,12 +94,13 @@ main(int argc, char** argv) return print_usage(argv[0], false); } else if (argv[i][0] != '-') { files.push_back(argv[i]); - } else if (!strncmp(argv[i], "-r", 3) - || !strncmp(argv[i], "-g", 3) + } else if (!strncmp(argv[i], "-L", 3) || !strncmp(argv[i], "-P", 3) + || !strncmp(argv[i], "-S", 3) || !strncmp(argv[i], "-T", 3) - || !strncmp(argv[i], "-L", 3) - || !strncmp(argv[i], "-S", 3)) { + || !strncmp(argv[i], "-a", 3) + || !strncmp(argv[i], "-g", 3) + || !strncmp(argv[i], "-r", 3)) { args.insert(make_pair(argv[i], "")); } else if (i == argc-1 || argv[i+1][0] == '-') { return print_usage(argv[0], true); |