From b1eefaa8ab07d41bb0b0975ffdd62ef9aba47811 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Fri, 6 Mar 2026 15:15:12 -0300
Subject: use magic to cast types to opaque attributes

---
 lib/attribute.ml | 29 +++++++++++------------------
 1 file changed, 11 insertions(+), 18 deletions(-)

(limited to 'lib/attribute.ml')

diff --git a/lib/attribute.ml b/lib/attribute.ml
index 05d33f4..27214b0 100644
--- a/lib/attribute.ml
+++ b/lib/attribute.ml
@@ -1,21 +1,14 @@
-type t = {
-  hash : Conventions.Hash.t;
-  name : Conventions.Name.t;
-  name_hash : Conventions.Hash.t;
-  value : Conventions.AbstractValue.t;
-  value_hash : Conventions.Hash.t;
-}
+type referenced = { value_hash : Conventions.Hash.t }
 
-type materialized = {
-  name: Conventions.Name.t;
-  value: Conventions.AbstractValue.t
-}
+type materialized = { value: Conventions.AbstractValue.t }
 
-let make ~name ~value =
-  let name_hash = Conventions.Hash.hash_text name in
-  let value_hash = Conventions.AbstractValue.hash_text value in
-  let hash = Conventions.Hash.hash_text (name_hash ^ value_hash) in
-  { hash; name; name_hash; value; value_hash }
+type t = 
+  | Referenced of referenced
+  | Materialized of materialized
 
-let make_with_hashes ~hash ~name ~name_hash ~value ~value_hash =
-  { hash; name; name_hash; value; value_hash }
+let make_referenced ~value =
+  let value_hash = Conventions.AbstractValue.hash value in
+  Referenced { value_hash }
+
+let make_materialized ~value =
+  Materialized { value }
\ No newline at end of file
-- 
cgit v1.2.3