Changeset e319fc5 for src/AST

Timestamp:

Jun 19, 2021, 3:53:18 PM (5 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

15f769c

Parents:

6992f95 (diff), c7d8696a (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:

src/AST

Files:

• Convert.cpp (modified) (1 diff)
• Decl.cpp (modified) (1 diff)
• Decl.hpp (modified) (1 diff)

src/AST/Convert.cpp

@@ -2415 +2415 @@
         }
 
+        virtual void visit( const DimensionExpr * old ) override final {
+                // DimensionExpr gets desugared away in Validate.
+                // As long as new-AST passes don't use it, this cheap-cheerful error
+                // detection helps ensure that these occurrences have been compiled
+                // away, as expected.  To move the DimensionExpr boundary downstream
+                // or move the new-AST translation boundary upstream, implement
+                // DimensionExpr in the new AST and implement a conversion.
+                (void) old;
+                assert(false && "DimensionExpr should not be present at new-AST boundary");
+        }
+
         virtual void visit( const AsmExpr * old ) override final {
                 this->node = visitBaseExpr( old,

src/AST/Decl.cpp

@@ -78 +78 @@
 
 const char * TypeDecl::typeString() const {
-        static const char * kindNames[] = { "sized data type", "sized data type", "sized object type", "sized function type", "sized tuple type", "sized array length type" };
+        static const char * kindNames[] = { "sized data type", "sized data type", "sized object type", "sized function type", "sized tuple type", "sized length value" };
         static_assert( sizeof(kindNames) / sizeof(kindNames[0]) == TypeDecl::NUMBER_OF_KINDS, "typeString: kindNames is out of sync." );
         assertf( kind < TypeDecl::NUMBER_OF_KINDS, "TypeDecl kind is out of bounds." );

src/AST/Decl.hpp

@@ -175 +175 @@
 class TypeDecl final : public NamedTypeDecl {
   public:
-        enum Kind { Dtype, DStype, Otype, Ftype, Ttype, ALtype, NUMBER_OF_KINDS };
+        enum Kind { Dtype, DStype, Otype, Ftype, Ttype, Dimension, NUMBER_OF_KINDS };
 
         Kind kind;