Changeset 93c10de for src/ResolvExpr/CandidateFinder.cpp

Timestamp:

Nov 24, 2022, 11:01:37 AM (18 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master

Children:

82a90d4

Parents:

78de1e5

Message:

Minimal changes to pull out nested types, TypeInstType::TypeEnvKey? and TypeDecl::Data (now TypeData?) from there parent types. Although they do connect to the parent types they were nested in they are used on their own most of the time.

File:

• src/ResolvExpr/CandidateFinder.cpp (modified) (1 diff)

src/ResolvExpr/CandidateFinder.cpp

@@ -221 +221 @@
         ) {
                 for ( auto & tyvar : type->forall ) {
-                        unifiableVars[ *tyvar ] = ast::TypeDecl::Data{ tyvar->base };
+                        unifiableVars[ *tyvar ] = ast::TypeData{ tyvar->base };
                 }
                 for ( auto & assn : type->assertions ) {