diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-05-14 00:15:43 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-05-14 00:15:43 +0000 |
commit | 11bb98ba5b1e9e88053a7bd6adc1d48d48a4bb21 (patch) | |
tree | 1c975ba91df4f5ffcee6b53d164d00e1181b83c8 /src/parser/parser.h | |
parent | 8d54316e7ff784a8d66da9ecc2d289ab463761c2 (diff) |
add AscriptionType stuff to support nullary parameterized datatypes; also, review of Andy's earlier commit, with some minor code clean-up and documentation
Diffstat (limited to 'src/parser/parser.h')
-rw-r--r-- | src/parser/parser.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h index 6d55e195e..2e7e3ca3d 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -373,10 +373,15 @@ public: SortType mkUnresolvedType(const std::string& name); /** - * Creates a new "unresolved type," used only during parsing. + * Creates a new unresolved (parameterized) type constructor of the given + * arity. */ SortConstructorType mkUnresolvedTypeConstructor(const std::string& name, size_t arity); + /** + * Creates a new unresolved (parameterized) type constructor given the type + * parameters. + */ SortConstructorType mkUnresolvedTypeConstructor(const std::string& name, const std::vector<Type>& params); |