diff --git a/EqSat/include/Luau/EGraph.h b/EqSat/include/Luau/EGraph.h index cbdf9fdb..48f3a32a 100644 --- a/EqSat/include/Luau/EGraph.h +++ b/EqSat/include/Luau/EGraph.h @@ -34,7 +34,10 @@ struct EGraph final // TODO: static_assert L <: Language // TODO: static_assert N <: Analysis - Id find(Id id) const; + Id find(Id id) const + { + return unionfind.find(id); + } // Per the egg paper, definition 2.2 (Canonicalization): // diff --git a/EqSat/src/EGraph.cpp b/EqSat/src/EGraph.cpp deleted file mode 100644 index 57b25213..00000000 --- a/EqSat/src/EGraph.cpp +++ /dev/null @@ -1,13 +0,0 @@ -// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details -#include "Luau/EGraph.h" - -namespace Luau::EqSat -{ - -template -Id EGraph::find(Id id) const -{ - return unionfind.find(id); -} - -} diff --git a/Sources.cmake b/Sources.cmake index 6419aef4..8601fa28 100644 --- a/Sources.cmake +++ b/Sources.cmake @@ -302,7 +302,6 @@ target_sources(Luau.EqSat PRIVATE EqSat/include/Luau/Language.h EqSat/include/Luau/UnionFind.h - EqSat/src/EGraph.cpp EqSat/src/Id.cpp EqSat/src/UnionFind.cpp )