Commit graph

24 commits

Author SHA1 Message Date
Alexander McCord
d9835952b7 Improve Language::Hash too. 2024-05-26 22:31:59 -07:00
Alexander McCord
68efd51b56 It's not always Id. 2024-05-26 22:28:55 -07:00
Alexander McCord
f82e6d79a4 Probably should document this magic number. 2024-05-26 22:24:03 -07:00
Alexander McCord
f808ed2438 Inline DERIVE_EQ and DERIVE_HASH. 2024-05-26 22:18:25 -07:00
Alexander McCord
2fdc5c8f98 Add ADL-based hash resolution. 2024-05-26 22:17:28 -07:00
Alexander McCord
c189ed6d18 Rename a couple of type parameters to Phantom to make them clear. 2024-05-26 19:57:00 -07:00
Alexander McCord
ffb353aee9 Redundant static_assert. Rework it a smidge. 2024-05-26 19:51:39 -07:00
Alexander McCord
2a2de1cea2 Add nodes that can point to child enodes. 2024-05-26 19:47:27 -07:00
Alexander McCord
0d882367f7 Clip this comment. 2024-05-26 16:14:58 -07:00
Alexander McCord
1f05cf27c3 One more private label to section this off from the data part. 2024-05-26 15:47:56 -07:00
Alexander McCord
b574667c80 Language is also Hash. 2024-05-26 15:46:39 -07:00
Alexander McCord
38ccd662f2 Expand Language with variant stuff. 2024-05-26 15:21:08 -07:00
Alexander McCord
d6f553a794 Sketch out Language a little bit. Still WIP. 2024-05-26 13:12:27 -07:00
Alexander McCord
18726c1ed5 This violates ODR. Move implementation to header. 2024-05-26 12:06:24 -07:00
Alexander McCord
11f72000a9 Move std::hash specialization to header. 2024-05-26 12:04:58 -07:00
Alexander McCord
603da12809 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.
2024-05-24 13:26:30 -07:00
Alexander McCord
00a15a9e8c Add part of definition 2.2. 2024-05-24 13:26:25 -07:00
Alexander McCord
dd65db40ee Make sure some things aren't inherited. 2024-05-24 10:49:05 -07:00
Alexander McCord
cf712b316a Rename 3 fields. 2024-05-24 10:48:08 -07:00
Alexander McCord
b44c525f10 Got the type of hashcons wrong. Fixed. 2024-05-24 10:47:35 -07:00
Alexander McCord
640ead1b9e Not sure why Language was templated. Absent-minded me. 2024-05-19 11:38:11 -07:00
Alexander McCord
b235faf489 Implement UnionFind, just without ranks. 2024-05-18 15:49:06 -07:00
Alexander McCord
2338185296 Definition 2.1.1. 2024-05-18 15:26:57 -07:00
Alexander McCord
ab0d7c0387 Add Luau.EqSat project with some barebones.
I have to comment out the `add_subdirectory(fuzz)` in order to allow cmake to finish the configuring step on Windows.
2024-05-18 01:07:45 -07:00