diff options
Diffstat (limited to '033exclusive_container.cc')
-rw-r--r-- | 033exclusive_container.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/033exclusive_container.cc b/033exclusive_container.cc index 982330bb..e6da34f0 100644 --- a/033exclusive_container.cc +++ b/033exclusive_container.cc @@ -11,8 +11,10 @@ type_ordinal tmp = put(Type_ordinal, "number-or-point", Next_type_ordinal++); get_or_insert(Type, tmp).size = 2; get(Type, tmp).kind = EXCLUSIVE_CONTAINER; get(Type, tmp).name = "number-or-point"; +get(Type, tmp).element_type_names.push_back(new string_tree("number")); get(Type, tmp).elements.push_back(new type_tree(number)); get(Type, tmp).element_names.push_back("i"); +get(Type, tmp).element_type_names.push_back(new string_tree("point")); get(Type, tmp).elements.push_back(new type_tree(point)); get(Type, tmp).element_names.push_back("p"); } |