Changes in src/Validate/GenericParameter.cpp [caf06aa:0b0a285]

File:

• src/Validate/GenericParameter.cpp (modified) (3 diffs)

src/Validate/GenericParameter.cpp

@@ -120 +120 @@
 }
 
-bool isSizedPolymorphic( const ast::AggregateDecl * decl ) {
-        for ( const auto & param : decl->params ) {
-                if ( param->sized ) return true;
-        }
-        return false;
-}
-
-struct ValidateGenericParamsCore :
-                public ast::WithCodeLocation, public ast::WithGuards {
-        // Generic parameter filling and checks:
+struct ValidateGenericParamsCore : public ast::WithCodeLocation {
         const ast::StructInstType * previsit( const ast::StructInstType * type ) {
                 assert( location );
@@ -138 +129 @@
                 assert( location );
                 return validateGeneric( *location, type );
-        }
-
-        // Check parameter and bitfield combinations:
-        bool insideSized = false;
-        void previsit( const ast::StructDecl * decl ) {
-                if ( isSizedPolymorphic( decl ) && !insideSized ) {
-                        GuardValue( insideSized ) = true;
-                }
-        }
-
-        void previsit( const ast::UnionDecl * decl ) {
-                if ( isSizedPolymorphic( decl ) && !insideSized ) {
-                        GuardValue( insideSized ) = true;
-                }
-        }
-
-        void previsit( const ast::ObjectDecl * decl ) {
-                if ( insideSized && decl->bitfieldWidth ) {
-                        SemanticError( decl->location, decl,
-                                "Cannot have bitfields inside a sized polymorphic structure." );
-                }
         }
 };
@@ -277 +247 @@
 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;
 }