Index: src/Parser/TypeData.cc
===================================================================
--- src/Parser/TypeData.cc	(revision 50eac1b9aebf9a91794280deee4d312e282b4891)
+++ src/Parser/TypeData.cc	(revision 63afee01b295cdf30409284a0c1d8f6f5d5b1049)
@@ -799,15 +799,18 @@
 	  case DeclarationNode::Struct:
 		at = new StructDecl( aggregate->name );
+		buildForall( aggregate->params, at->get_parameters() );
 		break;
 	  case DeclarationNode::Union:
 		at = new UnionDecl( aggregate->name );
+		buildForall( aggregate->params, at->get_parameters() );
 		break;
 	  case DeclarationNode::Context:
 		at = new ContextDecl( aggregate->name );
+		buildList( aggregate->params, at->get_parameters() );
 		break;
 	  default:
 		assert( false );
 	} // switch
-	buildList( aggregate->params, at->get_parameters() );
+//	buildList( aggregate->params, at->get_parameters() );
 	buildList( aggregate->fields, at->get_members() );