diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-01-25 00:47:05 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-01-25 00:47:05 -0800 |
| commit | ea3abbb2d9f1c1484dd88a639b86307b5667db4f (patch) | |
| tree | 9e98a85cb21bff5780dd9fa038e37d5f818e6d63 | |
| parent | 76ccad7995ce5c11bb6fd5143fab850e931ddfd3 (diff) | |
Make regexp first class
| -rw-r--r-- | src/expr/type_node.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/type_node.cpp b/src/expr/type_node.cpp index abca1e3ed..d4cb2d872 100644 --- a/src/expr/type_node.cpp +++ b/src/expr/type_node.cpp @@ -279,9 +279,9 @@ bool TypeNode::isFirstClass() const { getKind() != kind::CONSTRUCTOR_TYPE && getKind() != kind::SELECTOR_TYPE && getKind() != kind::TESTER_TYPE && - getKind() != kind::SEXPR_TYPE && + getKind() != kind::SEXPR_TYPE /*&& ( getKind() != kind::TYPE_CONSTANT || - getConst<TypeConstant>() != REGEXP_TYPE ); + getConst<TypeConstant>() != REGEXP_TYPE )*/; } bool TypeNode::isWellFounded() const { |