diff options
Diffstat (limited to 'src/resp.cpp')
| -rw-r--r-- | src/resp.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/resp.cpp b/src/resp.cpp index 0774399..b0d1f72 100644 --- a/src/resp.cpp +++ b/src/resp.cpp @@ -80,6 +80,7 @@ print_usage(char* name, bool error) os << " -R Reduce to simpler forms only" << endl; os << " -C Convert to CPS only" << endl; os << " -L Lambda lift only" << endl; + os << " -F Flatten only" << endl; os << " -S Compile to assembly only (do not execute)" << endl; return error ? 1 : 0; @@ -98,6 +99,7 @@ main(int argc, char** argv) } else if (argv[i][0] != '-') { files.push_back(argv[i]); } else if (!strncmp(argv[i], "-C", 3) + || !strncmp(argv[i], "-F", 3) || !strncmp(argv[i], "-L", 3) || !strncmp(argv[i], "-P", 3) || !strncmp(argv[i], "-R", 3) |