diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-06 15:15:12 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-06 15:15:12 -0300 |
| commit | b1eefaa8ab07d41bb0b0975ffdd62ef9aba47811 (patch) | |
| tree | 673005759a41b779552886d20a570a476ba85959 /bin/main.ml | |
| parent | 5bbbbc976d25859082014f3720b82bcd2d05a2f0 (diff) | |
| download | Sakura-b1eefaa8ab07d41bb0b0975ffdd62ef9aba47811.tar.gz Sakura-b1eefaa8ab07d41bb0b0975ffdd62ef9aba47811.zip | |
use magic to cast types to opaque attributes
Diffstat (limited to 'bin/main.ml')
| -rw-r--r-- | bin/main.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/bin/main.ml b/bin/main.ml index adbf1dc..46bb9f1 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -3,9 +3,9 @@ let main () = print_endline digest let () = - (* TODO: Since the comparison on the standard function is done atop of the abstract value, a change on the abstract name incurs into an alteration of the order as well *) - let left_value: Relational_engine.Conventions.AbstractValue.t = {fields = Relational_engine.Conventions.AbstractValue.StringMap.of_list [("value!!!!!", "0")]} in - let right_value: Relational_engine.Conventions.AbstractValue.t = {fields = Relational_engine.Conventions.AbstractValue.StringMap.of_list [("value", "1")]} in - let tuple = Relational_engine.Tuple.make_materialized ~relation: "natural_less_than" ~attributes: (Relational_engine.Conventions.AbstractValue.StringMap.of_list [("left", left_value); ("right", right_value)]) in - print_endline @@ string_of_bool @@ Relational_engine.Prelude.Standard.less_than_natural.membership_criteria tuple; + let tuple = + Relational_engine.Tuple.make_materialized + ~relation: "natural_less_than" + ~attributes: (Relational_engine.Tuple.AttributeMap.of_list [("left", Obj.magic 0); ("right", Obj.magic 1)]) + in print_endline @@ string_of_bool @@ Relational_engine.Prelude.Standard.less_than_natural.membership_criteria tuple; main () |