Changeset 07de76b for src/AST/TypeEnvironment.hpp

Timestamp:

Dec 16, 2019, 2:30:41 PM (5 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

bffcd66

Parents:

ab5c0008

git-author:

Peter A. Buhr <pabuhr@…> (12/16/19 14:23:00)

git-committer:

Peter A. Buhr <pabuhr@…> (12/16/19 14:30:41)

Message:

remove file TypeVar?.h* and put TypeVar::Kind into TypeDecl?, move LinkageSpec?.* from directory Parse to SynTree?

File:

• src/AST/TypeEnvironment.hpp (modified) (3 diffs)

src/AST/TypeEnvironment.hpp

@@ -9 +9 @@
 // Author           : Aaron B. Moss
 // Created On       : Wed May 29 11:00:00 2019
-// Last Modified By : Aaron B. Moss
-// Last Modified On : Wed May 29 11:00:00 2019
-// Update Count     : 1
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Dec 11 21:55:54 2019
+// Update Count     : 3
 //
 
@@ -28 +28 @@
 #include "Type.hpp"
 #include "TypeSubstitution.hpp"
-#include "TypeVar.hpp"
 #include "Common/Indenter.h"
 #include "ResolvExpr/WidenMode.h"
@@ -107 +106 @@
         /// Singleton class constructor from substitution
         EqvClass( const std::string & v, const Type * b )
-        : vars{ v }, bound( b ), allowWidening( false ), data( TypeVar::Dtype, false ) {}
+        : vars{ v }, bound( b ), allowWidening( false ), data( TypeDecl::Dtype, false ) {}
 
         /// Single-var constructor (strips qualifiers from bound type)