diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-07-03 04:49:38 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-03 04:49:38 -0700 |
commit | 842734e39362674a71d8acb95cdf08af16300a67 (patch) | |
tree | adc4f12c8c7af22cb6e6841fe6f7eb0c58a00e8c /examples | |
parent | 76d03115cfcade000a9fd18ff9ba7008636eb662 (diff) |
Fix datatypes example: nil constructor was missing. (#2135)
Diffstat (limited to 'examples')
-rw-r--r-- | examples/api/datatypes.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/api/datatypes.cpp b/examples/api/datatypes.cpp index d86bfad82..200f1bb2c 100644 --- a/examples/api/datatypes.cpp +++ b/examples/api/datatypes.cpp @@ -106,9 +106,11 @@ int main() { Type sort = em.mkSort("T", ExprManager::SORT_FLAG_PLACEHOLDER); Datatype paramConsListSpec("list", std::vector<Type>{sort}); DatatypeConstructor paramCons("cons"); + DatatypeConstructor paramNil("nil"); paramCons.addArg("head", sort); paramCons.addArg("tail", DatatypeSelfType()); paramConsListSpec.addConstructor(paramCons); + paramConsListSpec.addConstructor(paramNil); DatatypeType paramConsListType = em.mkDatatypeType(paramConsListSpec); Type paramConsIntListType = paramConsListType.instantiate(std::vector<Type>{em.integerType()}); |