Index: src/Parser/TypeData.cc
===================================================================
--- src/Parser/TypeData.cc	(revision 50eac1b9aebf9a91794280deee4d312e282b4891)
+++ src/Parser/TypeData.cc	(revision 66a2a615f7e70cffabf4f020268b19b081a2d9b3)
@@ -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() );