Index: src/Parser/parser.yy
===================================================================
--- src/Parser/parser.yy	(revision ee3c93d9425378dba13f5e7407f9097ac9d1cbb8)
+++ src/Parser/parser.yy	(revision 9a72c4de1a1f5af453ccd88f0000fa58c97b9581)
@@ -10,6 +10,6 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Jun  1 17:59:57 2018
-// Update Count     : 3476
+// Last Modified On : Sat Jun  2 17:18:40 2018
+// Update Count     : 3487
 //
 
@@ -1331,5 +1331,5 @@
 	c_declaration ';'
 	| cfa_declaration ';'								// CFA
-	| static_assert
+	| static_assert										// C11
 	;
 
@@ -1337,4 +1337,6 @@
 	STATICASSERT '(' constant_expression ',' string_literal ')' ';' // C11
 		{ $$ = DeclarationNode::newStaticAssert( $3, $5 ); }
+	| STATICASSERT '(' constant_expression ')' ';'		// CFA
+		{ $$ = DeclarationNode::newStaticAssert( $3, build_constantStr( *new string( "" ) ) ); }
 
 // C declaration syntax is notoriously confusing and error prone. Cforall provides its own type, variable and function
@@ -1881,19 +1883,16 @@
 
 field_declaration:
-	cfa_field_declaring_list ';'						// CFA, new style field declaration
+	type_specifier field_declaring_list ';'
+		{ $$ = distAttr( $1, $2 ); }
+	| EXTENSION type_specifier field_declaring_list ';'	// GCC
+		{ distExt( $3 ); $$ = distAttr( $2, $3 ); }		// mark all fields in list
+	| typedef_declaration ';'							// CFA
+		{ SemanticError( yylloc, "Typedef in aggregate is currently unimplemented." ); $$ = nullptr; }
+	| cfa_field_declaring_list ';'						// CFA, new style field declaration
 	| EXTENSION cfa_field_declaring_list ';'			// GCC
-		{
-			distExt( $2 );								// mark all fields in list
-			$$ = $2;
-		}
-	| type_specifier field_declaring_list ';'
-		{
-			$$ = distAttr( $1, $2 ); }
-	| EXTENSION type_specifier field_declaring_list ';'	// GCC
-		{
-			distExt( $3 );								// mark all fields in list
-			$$ = distAttr( $2, $3 );
-		}
-	| static_assert
+		{ distExt( $2 ); $$ = $2; }						// mark all fields in list
+	| cfa_typedef_declaration ';'						// CFA
+		{ SemanticError( yylloc, "Typedef in aggregate is currently unimplemented." ); $$ = nullptr; }
+	| static_assert										// C11
 	;