- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/AlternativeFinder.h
r6f326b1 r13deae88 126 126 void printAlts( const AltList &list, std::ostream &os, unsigned int indentAmt = 0 ); 127 127 128 /// Adds type variables to the open variable set and marks their assertions129 void makeUnifiableVars( Type *type, OpenVarSet &unifiableVars, AssertionSet &needAssertions );130 131 128 template< typename InputIterator > 132 129 void simpleCombineEnvironments( InputIterator begin, InputIterator end, TypeEnvironment &result ) {
Note: See TracChangeset
for help on using the changeset viewer.