Changeset f474e91 for src/AST/TypeEnvironment.hpp

Timestamp:

Jun 3, 2019, 5:36:43 PM (5 years ago)

Author:

Aaron Moss <a3moss@…>

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:

4ae2364

Parents:

8d70648

Message:

Port unification calculations to new AST

File:

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

src/AST/TypeEnvironment.hpp

@@ -178 +178 @@
                 const TypeInstType * typeInst, const Type * bindTo, const TypeDecl::Data & data, 
                 AssertionSet & need, AssertionSet & have, const OpenVarSet & openVars, 
-                ResolvExpr::WidenMode widenMode, const SymbolTable & symtab );
+                ResolvExpr::WidenMode widen, const SymbolTable & symtab );
         
         /// Binds the type classes represented by `var1` and `var2` together; will add one or both 
@@ -185 +185 @@
                 const TypeInstType * var1, const TypeInstType * var2, TypeDecl::Data && data, 
                 AssertionSet & need, AssertionSet & have, const OpenVarSet & openVars, 
-                ResolvExpr::WidenMode widenMode, const SymbolTable & symtab );
+                ResolvExpr::WidenMode widen, const SymbolTable & symtab );
 
         /// Disallows widening for all bindings in the environment