diff options
Diffstat (limited to '054static_dispatch.cc')
| -rw-r--r-- | 054static_dispatch.cc | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/054static_dispatch.cc b/054static_dispatch.cc index c698edb2..6967b92a 100644 --- a/054static_dispatch.cc +++ b/054static_dispatch.cc @@ -94,14 +94,17 @@ bool deeply_equal_type_names(const reagent& a, const reagent& b) { bool deeply_equal_type_names(const type_tree* a, const type_tree* b) { if (!a) return !b; if (!b) return !a; - if (a->name == "literal" && b->name == "literal") - return true; - if (a->name == "literal") - return Literal_type_names.find(b->name) != Literal_type_names.end(); - if (b->name == "literal") - return Literal_type_names.find(a->name) != Literal_type_names.end(); - return a->name == b->name - && deeply_equal_type_names(a->left, b->left) + if (a->atom != b->atom) return false; + if (a->atom) { + if (a->name == "literal" && b->name == "literal") + return true; + if (a->name == "literal") + return Literal_type_names.find(b->name) != Literal_type_names.end(); + if (b->name == "literal") + return Literal_type_names.find(a->name) != Literal_type_names.end(); + return a->name == b->name; + } + return deeply_equal_type_names(a->left, b->left) && deeply_equal_type_names(a->right, b->right); } |