From 603da128094794a422a0a57b19e3210cc70a7de0 Mon Sep 17 00:00:00 2001 From: Alexander McCord Date: Fri, 24 May 2024 13:26:30 -0700 Subject: [PATCH] Just realized DenseHashMap doesn't make sense for Id and L. We are unlikely to have an "empty" value for both Id and L, so we have to use `std::unordered_map` for now. --- EqSat/include/Luau/EGraph.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/EqSat/include/Luau/EGraph.h b/EqSat/include/Luau/EGraph.h index e50cb3c4..cbdf9fdb 100644 --- a/EqSat/include/Luau/EGraph.h +++ b/EqSat/include/Luau/EGraph.h @@ -1,10 +1,10 @@ // This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details #pragma once -#include "Luau/DenseHash.h" #include "Luau/Id.h" #include "Luau/UnionFind.h" +#include #include #include @@ -51,10 +51,10 @@ private: /// The e-class map 𝑀 maps e-class ids to e-classes. All equivalent e-class ids map to the same /// e-class, i.e., 𝑎 ≡id 𝑏 iff 𝑀[𝑎] is the same set as 𝑀[𝑏]. An e-class id 𝑎 is said to refer to the /// e-class 𝑀[find(𝑎)]. - DenseHashMap> classes; + std::unordered_map> classes; /// The hashcons 𝐻 is a map from e-nodes to e-class ids. - DenseHashMap hashcons; + std::unordered_map hashcons; }; } // namespace Luau::EqSat