Changeset d0c91a6 for src/ResolvExpr/typeops.h

Timestamp:

Jan 15, 2019, 4:16:15 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

c802eb88

Parents:

5e49e47 (diff), c9aba81 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into jenkins-sandbox

File:

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

src/ResolvExpr/typeops.h

@@ -72 +72 @@
         Cost conversionCost( Type *src, Type *dest, const SymTab::Indexer &indexer, const TypeEnvironment &env );
 
+        // in AlternativeFinder.cc
+        Cost computeConversionCost( Type *actualType, Type *formalType, 
+                const SymTab::Indexer &indexer, const TypeEnvironment &env );
+
         // in PtrsAssignable.cc
         int ptrsAssignable( Type *src, Type *dest, const TypeEnvironment &env );
@@ -102 +106 @@
         int polyCost( Type *type, const TypeEnvironment &env, const SymTab::Indexer &indexer );
 
+        // in SpecCost.cc
+        int specCost( Type *type );
+
         // in Occurs.cc
         bool occurs( Type *type, std::string varName, const TypeEnvironment &env );
+
+        template<typename Iter> 
+        bool occursIn( Type* ty, Iter begin, Iter end, const TypeEnvironment &env ) {
+                while ( begin != end ) {
+                        if ( occurs( ty, *begin, env ) ) return true;
+                        ++begin;
+                }
+                return false;
+        }
 
         // in AlternativeFinder.cc