aboutsummaryrefslogtreecommitdiffstats
path: root/lib/tuple.ml
diff options
context:
space:
mode:
authorEstevan Castilho <tevo@riajuu.net>2026-05-30 01:43:10 +0000
committerGitHub <noreply@github.com>2026-05-30 01:43:10 +0000
commit8106d31690dad61ee0ec649ae6de7f4e3fe1830e (patch)
treefc50ca3bdf755cee7157540b79ba26d6ecef7e62 /lib/tuple.ml
parent1378202e6b0b51d7d338a1042824860f19fcbc9b (diff)
downloadSakura-8106d31690dad61ee0ec649ae6de7f4e3fe1830e.tar.gz
Sakura-8106d31690dad61ee0ec649ae6de7f4e3fe1830e.zip
Some scaffolding for sublanguage tests (#72)
* No need to take the multigroup name as an argument * Record backtraces when instantiating conditions * Equality for abstract values * Move `make_ctx` out of the listener * Include the return code on `handle-error` conditions * Do not include brackets around stringified condition properties * Equality for materialized attributes * Equality for materialized tuples * Scaffolding for a test suite
Diffstat (limited to 'lib/tuple.ml')
-rw-r--r--lib/tuple.ml3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/tuple.ml b/lib/tuple.ml
index 24eecab..ffeb3c9 100644
--- a/lib/tuple.ml
+++ b/lib/tuple.ml
@@ -32,3 +32,6 @@ let make_materialized ~relation ~attributes =
attributes;
(* lineage = None *)
}
+
+let materialized_equal a b =
+ AttributeMap.equal Attribute.materialized_equal a.attributes b.attributes