Changeset 5546eee4 for src/GenPoly/Box.cpp

Timestamp:

Dec 16, 2023, 1:01:44 AM (22 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

b7898ac

Parents:

0fa0201d (diff), 69ab896 (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' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/GenPoly/Box.cpp (modified) (2 diffs)

src/GenPoly/Box.cpp

@@ -9 +9 @@
 // Author           : Andrew Beach
 // Created On       : Thr Oct  6 13:39:00 2022
-// Last Modified By : Andrew Beach
-// Last Modified On : Mon Oct  2 17:00:00 2023
-// Update Count     : 0
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Dec 14 17:42:17 2023
+// Update Count     : 7
 //
 
@@ -777 +777 @@
                 if ( !concrete ) {
                         // Should this be an assertion?
-                        SemanticError( expr, toString( typeSubs,
-                                "\nunbound type variable: ", typeVar->typeString(),
-                                " in application " ) );
+                        SemanticError( expr->location, "\nunbound type variable %s in application %s",
+                                                   toString( typeSubs ).c_str(), typeVar->typeString().c_str() );
                 }
                 arg = expr->args.insert( arg,