diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-05-14 03:38:18 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-05-14 03:38:18 +0000 |
commit | 4f9ac83ef571d4f91f2a98a71023bfb3a75e8f65 (patch) | |
tree | 24ae281a54824fa95d58c25462ff3036b48a7102 /src/util | |
parent | b904efd3a2bad1411099cd2a8696cbda96a37cb0 (diff) |
re-add a removed Datatype constructor that was causing a unit test failure, so nightlies go through tonight
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/datatype.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/util/datatype.h b/src/util/datatype.h index 842be9b45..6aeb93bcf 100644 --- a/src/util/datatype.h +++ b/src/util/datatype.h @@ -352,6 +352,12 @@ private: public: /** Create a new Datatype of the given name. */ + inline explicit Datatype(std::string name); + + /** + * Create a new Datatype of the given name, with the given + * parameterization. + */ inline explicit Datatype(std::string name, std::vector<Type>& params); /** Add a constructor to this Datatype. */ @@ -494,6 +500,14 @@ inline std::string Datatype::UnresolvedType::getName() const throw() { return d_name; } +inline Datatype::Datatype(std::string name) : + d_name(name), + d_params(), + d_constructors(), + d_resolved(false), + d_self() { +} + inline Datatype::Datatype(std::string name, std::vector<Type>& params) : d_name(name), d_params(params), |