Changeset 8a9a3ab for src/Validate/GenericParameter.cpp

Timestamp:

Sep 1, 2023, 3:54:42 PM (2 years ago)

Author:

caparsons <caparson@…>

Branches:

master

Children:

4b30318b

Parents:

4269d1b (diff), 4c0fa03 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/Validate/GenericParameter.cpp (modified) (1 diff)

src/Validate/GenericParameter.cpp

@@ -301 +301 @@
 const ast::Expr * TranslateDimensionCore::postvisit(
                 const ast::TypeExpr * expr ) {
-        // Does nothing, except prevents matching ast::Expr (above).
+        if ( auto instType = dynamic_cast<const ast::EnumInstType *>( expr->type.get() ) ) {
+                const ast::EnumDecl * baseEnum = instType->base.get();
+                return ast::ConstantExpr::from_int( expr->location, baseEnum->members.size() );
+        }
         return expr;
 }