Changeset def751f for src/AST/TypeSubstitution.cpp

Timestamp:

Jul 25, 2022, 3:17:25 PM (3 years ago)

Author:

JiadaL <j82liang@…>

Branches:

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

Children:

b0d9ff7

Parents:

4e2befe3 (diff), ffec1bf (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' into qualifiedEnum

File:

• src/AST/TypeSubstitution.cpp (modified) (1 diff)

src/AST/TypeSubstitution.cpp

@@ -97 +97 @@
                 TypeSubstitution * newEnv;
                 EnvTrimmer( const TypeSubstitution * env, TypeSubstitution * newEnv ) : env( env ), newEnv( newEnv ){}
-                void previsit( FunctionType * ftype ) {
+                void previsit( const FunctionType * ftype ) {
                         // transfer known bindings for seen type variables
                         for (auto & formal : ftype->forall) {