diff options
Diffstat (limited to 'src/resp.cpp')
| -rw-r--r-- | src/resp.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/resp.cpp b/src/resp.cpp index 2c26927..2b08fc3 100644 --- a/src/resp.cpp +++ b/src/resp.cpp @@ -78,6 +78,7 @@ print_usage(char* name, bool error) os << " -P Parse only" << endl; os << " -T Type check only" << endl; os << " -R Reduce to simpler forms only" << endl; + os << " -C Convert to CPS only" << endl; os << " -L Lambda lift only" << endl; os << " -S Compile to assembly only (do not execute)" << endl; @@ -96,7 +97,8 @@ 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], "-L", 3) + } else if (!strncmp(argv[i], "-C", 3) + || !strncmp(argv[i], "-L", 3) || !strncmp(argv[i], "-P", 3) || !strncmp(argv[i], "-R", 3) || !strncmp(argv[i], "-S", 3) |