luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-04-13 15:20:53 +01:00
Code Issues Projects Releases Packages Wiki Activity

Got the type of hashcons wrong. Fixed.

Browse source
This commit is contained in:
Alexander McCord 2024-05-24 10:47:35 -07:00
parent 640ead1b9e
commit b44c525f10
1 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
EqSat/include/Luau/EGraph.h
View file

@ -42,11 +42,8 @@ private:
/// e-class 𝑀[find(𝑎)]. /// e-class 𝑀[find(𝑎)].
DenseHashMap<Id, EClass<L, typename N::Data>> m; DenseHashMap<Id, EClass<L, typename N::Data>> m;
/// The hashcons 𝐻 is a map from e-nodes to e-node ids. /// The hashcons 𝐻 is a map from e-nodes to e-class ids.
/// DenseHashMap<L, Id> h;
/// Author note: the paper says this maps from e-nodes to e-class ids, but the
/// corresponding map in the egg crate called `memo`, they map it to e-node ids?
DenseHashMap<EClass<L, typename N::Data>, Id> h;
}; };
} // namespace Luau::EqSat } // namespace Luau::EqSat