diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-06 20:27:49 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-06 20:27:49 -0300 |
| commit | b2b1d9a3a8cbf2f5d0089e29931cacf36297065a (patch) | |
| tree | 77e5ffd790dce2aed3dbca118253dd75c419127e /lib/prelude | |
| parent | b1eefaa8ab07d41bb0b0975ffdd62ef9aba47811 (diff) | |
| download | Sakura-b2b1d9a3a8cbf2f5d0089e29931cacf36297065a.tar.gz Sakura-b2b1d9a3a8cbf2f5d0089e29931cacf36297065a.zip | |
wip: physical
Diffstat (limited to '')
| -rw-r--r-- | lib/prelude/standard.ml | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lib/prelude/standard.ml b/lib/prelude/standard.ml index d6f8cf3..5099104 100644 --- a/lib/prelude/standard.ml +++ b/lib/prelude/standard.ml @@ -11,12 +11,8 @@ let less_than_natural: Relation.t = match position with | Some position -> let left, right = pair_of_nat position in - (* let left: Attribute.t = Attribute.make_materialized ~value: (Obj.magic left) in *) - (* let right: Attribute.t = Attribute.make_materialized ~value: (Obj.magic right) in *) - let left = Obj.magic left in - let right = Obj.magic right in let attributes: Attribute.materialized Tuple.AttributeMap.t = - Tuple.AttributeMap.of_list [("left", left); ("right", right)] + Tuple.AttributeMap.of_list [("left", Obj.magic left); ("right", Obj.magic right)] in Generator.Value (Tuple.make_materialized ~relation: "less_than" ~attributes: attributes, generator) | None -> Error "Cannot produce a randomly enumerated value for less_than over naturals." in let membership_criteria: Tuple.t -> bool = function |