Index: src/Parser/TypeData.cc
===================================================================
--- src/Parser/TypeData.cc	(revision 097e2b0772ff883a03cce4090b9e0ba0be47ac18)
+++ src/Parser/TypeData.cc	(revision 37a3b8f9cd78867281402907e903cddfd9b978a1)
@@ -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() );