Changeset 2c57025 for src/SymTab/Validate.cc

Timestamp:

Nov 25, 2016, 6:11:03 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

0f35657

Parents:

186fd86

Message:

add support for built-in sized trait which decouples size/alignment information from otype parameters, add test for sized trait

File:

• src/SymTab/Validate.cc (modified) (2 diffs)

src/SymTab/Validate.cc

@@ -361 +361 @@
         void Pass2::visit( TraitInstType *contextInst ) {
                 Parent::visit( contextInst );
+                if ( contextInst->get_name() == "sized" ) {
+                        // "sized" is a special trait with no members - just flick the sized status on for the type variable
+                        if ( contextInst->get_parameters().size() != 1 ) {
+                                throw SemanticError( "incorrect number of context parameters: ", contextInst );
+                        }
+                        TypeExpr * param = safe_dynamic_cast< TypeExpr * > ( contextInst->get_parameters().front() );
+                        TypeInstType * inst = safe_dynamic_cast< TypeInstType * > ( param->get_type() );
+                        TypeDecl * decl = inst->get_baseType();
+                        decl->set_sized( true );
+                        // since "sized" is special, the next few steps don't apply
+                        return;
+                }
                 TraitDecl *ctx = indexer->lookupTrait( contextInst->get_name() );
                 if ( ! ctx ) {
@@ -584 +596 @@
 
                 typedeclNames[ typeDecl->get_name() ] = typeDecl;
-                return typeDecl;
+                return Mutator::mutate( typeDecl );
         }