Changeset a8b87d3 for src/GenPoly

Timestamp:

Jun 14, 2022, 10:55:46 AM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

aec20700

Parents:

1f0ee71

Message:

Various bits of clean-up. The big one was some renaming inside TypeSubstitution (typeEnv was not a TypeEnvironment).

File:

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

src/GenPoly/Specialize.cc

@@ -247 +247 @@
                         structureArg( (*actualBegin)->get_type(), argBegin, argEnd, back_inserter( appExpr->get_args() ) );
                 }
+                assertf( argBegin == argEnd, "Did not structure all arguments." );
 
                 appExpr->env = TypeSubstitution::newFromExpr( appExpr, env );