Changeset 4cb935e for src/SynTree

Timestamp:

Dec 1, 2016, 12:46:34 PM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

78b3f52

Parents:

148f7290

Message:

0 and 1 now properly parse and resolve to zero_t and one_t respectively

Location:

src/SynTree

Files:

• Expression.cc (modified) (1 diff)
• Type.h (modified) (1 diff)

src/SynTree/Expression.cc

@@ -422 +422 @@
 }
 
-NameExpr::NameExpr( std::string _name, Expression *_aname ) : Expression( _aname ), name(_name) {}
+NameExpr::NameExpr( std::string _name, Expression *_aname ) : Expression( _aname ), name(_name) {
+        assertf(_name != "0", "Zero is not a valid name\n");
+        assertf(_name != "1", "One is not a valid name\n");
+}
 
 NameExpr::NameExpr( const NameExpr &other ) : Expression( other ), name( other.name ) {

src/SynTree/Type.h

@@ -81 +81 @@
         ForallList forall;
 };
+
+extern Type::Qualifiers emptyQualifiers;                                // no qualifiers on constants
 
 class VoidType : public Type {