Changeset 6e50a6b for src/AST

Timestamp:

Jun 18, 2021, 12:20:59 PM (3 years ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

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

Children:

c7d8696a

Parents:

dcbfcbc

Message:

Implementing language-provided syntax for (array) dimensions.

Former z(i) and Z(N) macros are eliminated.

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;