Changeset 6f096d2 for src/ResolvExpr/Unify.cc

Timestamp:

Jul 12, 2019, 4:34:56 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

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:

e3d7f9f

Parents:

8fd52e90

Message:

Resolver now uses constant interface

File:

• src/ResolvExpr/Unify.cc (modified) (1 diff)

src/ResolvExpr/Unify.cc

@@ -102 +102 @@
                 WidenMode widen, const ast::SymbolTable & symtab );
 
-        bool typesCompatible( Type *first, Type *second, const SymTab::Indexer &indexer, const TypeEnvironment &env ) {
+        bool typesCompatible( const Type * first, const Type * second, const SymTab::Indexer & indexer, const TypeEnvironment & env ) {
                 TypeEnvironment newEnv;
                 OpenVarSet openVars, closedVars; // added closedVars
                 AssertionSet needAssertions, haveAssertions;
-                Type *newFirst = first->clone(), *newSecond = second->clone();
+                Type * newFirst = first->clone(), * newSecond = second->clone();
                 env.apply( newFirst );
                 env.apply( newSecond );