Changeset e5c3811 for src/AST/Type.hpp

Timestamp:

Nov 25, 2020, 3:12:17 AM (4 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

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

Children:

4702a2c

Parents:

7192145

Message:

create dedicated symbol tables for big 3 operators
note: arbitrary this param type is not supported; it is currently allowed although never used

File:

• src/AST/Type.hpp (modified) (4 diffs)

src/AST/Type.hpp

@@ -274 +274 @@
 public:
         using ForallList = std::vector<ptr<TypeDecl>>;
-
+        // using ForallList = std::vector<readonly<TypeDecl>>;
+
+        // using ForallList = std::vector<ptr<TypeInstType>>;
         ForallList forall;
+        // using AssertionList = std::vector<ptr<VariableExpr>>;
+        // AssertionList assertions;
 
         ParameterizedType( ForallList&& fs = {}, CV::Qualifiers q = {},
@@ -423 +427 @@
 public:
         readonly<TypeDecl> base;
+        // int context;
         TypeDecl::Kind kind;
 
@@ -535 +540 @@
 };
 
+bool isUnboundType(const Type * type);
+
 }
+
 
 #undef MUTATE_FRIEND
@@ -541 +549 @@
 // Local Variables: //
 // tab-width: 4 //
+
 // mode: c++ //
 // compile-command: "make install" //