diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-21 11:54:32 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-21 13:54:32 -0500 |
commit | 6db851b3e90d766b6a90f53533d324120065e750 (patch) | |
tree | e171a1eef7a0b2e11422748dffb04fad6307996d /src/expr | |
parent | ae5ee4b07dc3d3c792e7fe7f382ff490dd28aca4 (diff) |
Datatypes: Move implementation of type rules to cpp. (#6418)
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/type_node.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/expr/type_node.cpp b/src/expr/type_node.cpp index 3c0316405..2d19db16c 100644 --- a/src/expr/type_node.cpp +++ b/src/expr/type_node.cpp @@ -16,6 +16,7 @@ #include <vector> +#include "expr/dtype_cons.h" #include "expr/node_manager_attributes.h" #include "expr/type_properties.h" #include "options/base_options.h" @@ -221,9 +222,9 @@ bool TypeNode::isClosedEnumerable() setAttribute(IsClosedEnumerableComputedAttr(), true); TypeNode tn = *this; const DType& dt = getDType(); - for (unsigned i = 0, ncons = dt.getNumConstructors(); i < ncons; i++) + for (uint32_t i = 0, ncons = dt.getNumConstructors(); i < ncons; i++) { - for (unsigned j = 0, nargs = dt[i].getNumArgs(); j < nargs; j++) + for (uint32_t j = 0, nargs = dt[i].getNumArgs(); j < nargs; j++) { TypeNode ctn = dt[i][j].getRangeType(); if (tn != ctn && !ctn.isClosedEnumerable()) |