diff options
author | David Robillard <d@drobilla.net> | 2010-12-10 04:24:20 +0000 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2010-12-10 04:24:20 +0000 |
commit | 22e329617866a6580ccff5636f148d72603fa8fc (patch) | |
tree | 4038bdc902a7726da493850e71e81b1b01102622 /src/resp.cpp | |
parent | 4b2af37d24d864db463d004930f924b5adfebc28 (diff) | |
download | resp-22e329617866a6580ccff5636f148d72603fa8fc.tar.gz resp-22e329617866a6580ccff5636f148d72603fa8fc.tar.bz2 resp-22e329617866a6580ccff5636f148d72603fa8fc.zip |
Move simplification from lift stage to a new (post-typing) simplify stage.
git-svn-id: http://svn.drobilla.net/resp/resp@344 ad02d1e2-f140-0410-9f75-f8b11f17cedd
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 765939c..5f45bdd 100644 --- a/src/resp.cpp +++ b/src/resp.cpp @@ -77,6 +77,7 @@ print_usage(char* name, bool error) os << " -r Enter REPL after evaluating files" << endl; os << " -P Parse only" << endl; os << " -T Type check only" << endl; + os << " -R Reduce to simpler forms only" << endl; os << " -L Lambda lift only" << endl; os << " -S Compile to assembly only (do not execute)" << endl; @@ -96,6 +97,7 @@ main(int argc, char** argv) files.push_back(argv[i]); } else if (!strncmp(argv[i], "-L", 3) || !strncmp(argv[i], "-P", 3) + || !strncmp(argv[i], "-R", 3) || !strncmp(argv[i], "-S", 3) || !strncmp(argv[i], "-T", 3) || !strncmp(argv[i], "-a", 3) |