Changes in src/ResolvExpr/TypeEnvironment.h [8c49c0e:fc638d2]

File:

• src/ResolvExpr/TypeEnvironment.h (modified) (2 diffs)

src/ResolvExpr/TypeEnvironment.h

@@ -29 +29 @@
 namespace ResolvExpr {
         struct AssertCompare {
-                bool operator()( DeclarationWithType * d1, DeclarationWithType * d2 );
+                bool operator()( DeclarationWithType * d1, DeclarationWithType * d2 ) const;
         };
         typedef std::map< DeclarationWithType*, bool, AssertCompare > AssertionSet;
-        typedef std::map< std::string, TypeDecl::Kind > OpenVarSet;
+        typedef std::map< std::string, TypeDecl::Data > OpenVarSet;
 
         void printAssertionSet( const AssertionSet &, std::ostream &, int indent = 0 );
@@ -41 +41 @@
                 Type *type;
                 bool allowWidening;
-                TypeDecl::Kind kind;
+                TypeDecl::Data data;
 
                 void initialize( const EqvClass &src, EqvClass &dest );