diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-06-01 01:13:21 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-06-01 01:13:21 +0000 |
| commit | c6a8319b05cf1b156691132b3bec1f56ca6588e0 (patch) | |
| tree | 44f204e88ad5e820181c88882759f727cc133332 /src/expr | |
| parent | 471352e0956d1e9e1f0636933e792ed8650d5526 (diff) | |
minor fix, and better output for type errors
Diffstat (limited to 'src/expr')
| -rw-r--r-- | src/expr/type_node.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/expr/type_node.cpp b/src/expr/type_node.cpp index 7376b0080..b9047307d 100644 --- a/src/expr/type_node.cpp +++ b/src/expr/type_node.cpp @@ -209,8 +209,9 @@ bool TypeNode::isInstantiatedDatatype() const { } const Datatype& dt = (*this)[0].getConst<Datatype>(); unsigned n = dt.getNumParameters(); + Assert(n < getNumChildren()); for(unsigned i = 0; i < n; ++i) { - if(TypeNode::fromType(dt.getParameter(i)) == (*this)[n + 1]) { + if(TypeNode::fromType(dt.getParameter(i)) == (*this)[i + 1]) { return false; } } |