Changes in / [cd5eb4b:418882af]

Location:

src

Files:

• AST/Node.hpp (modified) (2 diffs)
• GenPoly/GenPoly.cc (modified) (1 diff)
• Parser/lex.ll (modified) (2 diffs)
• Parser/parser.yy (modified) (4 diffs)
• ResolvExpr/typeops.h (modified) (2 diffs)

src/AST/Node.hpp

@@ -19 +19 @@
 #include <cstddef>     // for nullptr_t
 #include <iosfwd>
+#include <type_traits> // for remove_reference
 
 #include "Common/ErrorObjects.h"  // for SemanticErrorException
@@ -35 +36 @@
         Node(const Node&) : strong_count(0), weak_count(0) {}
         Node(Node&&) : strong_count(0), weak_count(0) {}
-        Node& operator=(const Node&) = delete;
-        Node& operator=(Node&&) = delete;
+        Node& operator= (const Node&) = delete;
+        Node& operator= (Node&&) = delete;
         virtual ~Node() {}
 

src/GenPoly/GenPoly.cc

@@ -24 +24 @@
 #include <vector>                       // for vector
 
-#include "AST/Expr.hpp"
 #include "AST/Type.hpp"
-#include "AST/TypeSubstitution.hpp"
 #include "GenPoly/ErasableScopedMap.h"  // for ErasableScopedMap<>::const_it...
 #include "ResolvExpr/typeops.h"         // for flatten

src/Parser/lex.ll

@@ -10 +10 @@
  * Created On       : Sat Sep 22 08:58:10 2001
  * Last Modified By : Peter A. Buhr
- * Last Modified On : Fri Jan 20 12:08:37 2023
- * Update Count     : 766
+ * Last Modified On : Thu Oct 13 20:46:04 2022
+ * Update Count     : 764
  */
 
@@ -340 +340 @@
 vtable                  { KEYWORD_RETURN(VTABLE); }                             // CFA
 waitfor                 { KEYWORD_RETURN(WAITFOR); }                    // CFA
-waituntil               { KEYWORD_RETURN(WAITUNTIL); }                  // CFA
 when                    { KEYWORD_RETURN(WHEN); }                               // CFA
 while                   { KEYWORD_RETURN(WHILE); }

src/Parser/parser.yy

@@ -10 +10 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Jan 20 12:11:56 2023
-// Update Count     : 5855
+// Last Modified On : Mon Nov 21 22:34:30 2022
+// Update Count     : 5848
 //
 
@@ -331 +331 @@
 %token ATTRIBUTE EXTENSION                                                              // GCC
 %token IF ELSE SWITCH CASE DEFAULT DO WHILE FOR BREAK CONTINUE GOTO RETURN
-%token CHOOSE FALLTHRU FALLTHROUGH WITH WHEN WAITFOR WAITUNTIL // CFA
+%token CHOOSE FALLTHRU FALLTHROUGH WITH WHEN WAITFOR    // CFA
 %token DISABLE ENABLE TRY THROW THROWRESUME AT                  // CFA
 %token ASM                                                                                              // C99, extension ISO/IEC 9899:1999 Section J.5.10(1)
@@ -1939 +1939 @@
         TYPEDEF type_specifier declarator
                 {
-                        // if type_specifier is an anon aggregate => name 
                         typedefTable.addToEnclosingScope( *$3->name, TYPEDEFname, "4" );
                         $$ = $3->addType( $2 )->addTypedef();
@@ -2474 +2473 @@
         | EXTENSION type_specifier field_declaring_list_opt ';' // GCC
                 { $$ = fieldDecl( $2, $3 ); distExt( $$ ); }
-        | STATIC type_specifier field_declaring_list_opt ';' // CFA
-                { SemanticError( yylloc, "STATIC aggregate field qualifier currently unimplemented." ); $$ = nullptr; }
         | INLINE type_specifier field_abstract_list_opt ';'     // CFA
                 {

src/ResolvExpr/typeops.h

@@ -18 +18 @@
 #include <vector>
 
+#include "Cost.h"
+#include "TypeEnvironment.h"
+#include "WidenMode.h"
+#include "AST/Fwd.hpp"
+#include "AST/Node.hpp"
+#include "AST/SymbolTable.hpp"
 #include "AST/Type.hpp"
+#include "AST/TypeEnvironment.hpp"
+#include "SynTree/SynTree.h"
 #include "SynTree/Type.h"
 
@@ -26 +34 @@
 
 namespace ResolvExpr {
-        class TypeEnvironment;
-
         // combos: takes a list of sets and returns a set of lists representing every possible way of forming a list by
         // picking one element out of each set