Changeset 93c10de for src/AST/TypeSubstitution.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/AST/TypeSubstitution.cpp (modified) (3 diffs)

src/AST/TypeSubstitution.cpp

@@ -52 +52 @@
 }
 
-void TypeSubstitution::add( const TypeInstType::TypeEnvKey & key, const Type * actualType) {
+void TypeSubstitution::add( const TypeEnvKey & key, const Type * actualType) {
         typeMap[ key ] = actualType;
 }
@@ -64 +64 @@
 
 const Type *TypeSubstitution::lookup(
-                const TypeInstType::TypeEnvKey & formalType ) const {
+                const TypeEnvKey & formalType ) const {
         TypeMap::const_iterator i = typeMap.find( formalType );
 
@@ -85 +85 @@
 
 const Type *TypeSubstitution::lookup( const TypeInstType * formalType ) const {
-        return lookup( ast::TypeInstType::TypeEnvKey( *formalType ) );
+        return lookup( ast::TypeEnvKey( *formalType ) );
 }