Changeset 03c56f6 for src

Timestamp:

Nov 1, 2022, 4:58:01 PM (18 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master

Children:

e50d9cb8

Parents:

75f6a5f

Message:

Cleaning old box pass for easier translation. Another change, this one replaced an error with an assertion based on a comment.

File:

• src/GenPoly/Box.cc (modified) (1 diff)

src/GenPoly/Box.cc

@@ -550 +550 @@
                                 if ( tyParam.second.isComplete ) {
                                         Type *concrete = env->lookup( tyParam.first );
-                                        if ( concrete ) {
-                                                arg = appExpr->get_args().insert( arg, new SizeofExpr( concrete->clone() ) );
-                                                arg++;
-                                                arg = appExpr->get_args().insert( arg, new AlignofExpr( concrete->clone() ) );
-                                                arg++;
-                                        } else {
-                                                // xxx - should this be an assertion?
-                                                SemanticError( appExpr, toString( *env, "\nunbound type variable: ", tyParam.first, " in application " ) );
-                                        } // if
+                                        // If there is an unbound type variable, it should have detected already.
+                                        assertf( concrete, "Unbound type variable: %s in: %s",
+                                                toCString( tyParam.first ), toCString( *env ) );
+
+                                        arg = appExpr->get_args().insert( arg, new SizeofExpr( concrete->clone() ) );
+                                        arg++;
+                                        arg = appExpr->get_args().insert( arg, new AlignofExpr( concrete->clone() ) );
+                                        arg++;
                                 } // if
                         } // for