From a2d90fb275962da84611160f8ddd74d934a68dbd Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Fri, 4 Aug 2023 15:47:39 -0700
Subject: Redesign `DeclRef` and systematic `Val` deduplication (#3049)

* Redesign DeclRef + Deduplicate Val.

* Update project files

* Fix warning.

* Fix.

* Fix.

* Remove `Val::_equalsImplOverride`.

* Rmove `Val::_getHashCodeOverride`.

* Remove `semanticVisitor` param from `resolve`.

* Cleanups.

---------

Co-authored-by: Yong He <yhe@nvidia.com>
---
 source/slang/slang-compiler.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'source/slang/slang-compiler.cpp')

diff --git a/source/slang/slang-compiler.cpp b/source/slang/slang-compiler.cpp
index 224e30fa1..4e1ab8e98 100644
--- a/source/slang/slang-compiler.cpp
+++ b/source/slang/slang-compiler.cpp
@@ -265,7 +265,7 @@ namespace Slang
     {
         if (auto declaredWitness = as<DeclaredSubtypeWitness>(witness))
         {
-            auto declModule = getModule(declaredWitness->declRef.getDecl());
+            auto declModule = getModule(declaredWitness->getDeclRef().getDecl());
             m_moduleDependencyList.addDependency(declModule);
             m_fileDependencyList.addDependency(declModule);
             if (m_requirementSet.add(declModule))
@@ -276,8 +276,8 @@ namespace Slang
         }
         else if (auto transitiveWitness = as<TransitiveSubtypeWitness>(witness))
         {
-            addDepedencyFromWitness(transitiveWitness->midToSup);
-            addDepedencyFromWitness(transitiveWitness->subToMid);
+            addDepedencyFromWitness(transitiveWitness->getMidToSup());
+            addDepedencyFromWitness(transitiveWitness->getSubToMid());
         }
         else if (auto conjunctionWitness = as<ConjunctionSubtypeWitness>(witness))
         {
-- 
cgit v1.2.3