Changeset 8024bc8 for src/GenPoly/Box.cc
- Timestamp:
- Sep 18, 2017, 11:02:23 AM (7 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
- Children:
- 6994d8c
- Parents:
- ed235b6 (diff), 5f782f7 (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. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/GenPoly/Box.cc
red235b6 r8024bc8 628 628 } else { 629 629 // xxx - should this be an assertion? 630 std::string x = env ? toString( *env ) : "missing env"; 631 throw SemanticError( x + "\n" + "unbound type variable: " + tyParm->first + " in application ", appExpr ); 630 throw SemanticError( toString( *env, "\nunbound type variable: ", tyParm->first, " in application " ), appExpr ); 632 631 } // if 633 632 } // if … … 706 705 if ( concrete == 0 ) { 707 706 return typeInst; 708 // xxx - should this be an assertion?709 // std::string x = env ? toString( *env ) : "missing env";710 // throw SemanticError( x + "\n" + "Unbound type variable " + typeInst->get_name() + " in ", appExpr );711 707 } // if 712 708 return concrete;
Note: See TracChangeset
for help on using the changeset viewer.