diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 17:55:27 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 17:56:11 -0300 |
| commit | b4a2485afbf74e99e2147086fbca0568b7e2b7b8 (patch) | |
| tree | f2f0f653c7de2d5a1b1565d0ec48c46dec580a5a /lib/branch.ml | |
| parent | b7ab0a9d1f0275db32a526faf7cffe9d520b15c8 (diff) | |
| download | SOL-b4a2485afbf74e99e2147086fbca0568b7e2b7b8.tar.gz SOL-b4a2485afbf74e99e2147086fbca0568b7e2b7b8.zip | |
relation references as a term kind, written #Name
Diffstat (limited to '')
| -rw-r--r-- | lib/branch.ml | 2 | ||||
| -rw-r--r-- | lib/branch.mli | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/branch.ml b/lib/branch.ml index a1382c6..994653e 100644 --- a/lib/branch.ml +++ b/lib/branch.ml @@ -83,7 +83,7 @@ let insert world bindings = Option.bind (Label.Map.find_opt label bindings) Pattern.to_term in match (ground relation_l, ground tuple_l, ground before_l) with - | Some (Term.String relation), Some (Term.Record tuple), Some (Term.String before) + | Some (Term.Reference relation), Some (Term.Record tuple), Some (Term.String before) -> ( match (String_map.find_opt relation world.schemas, Hashtbl.find_opt world.states before) diff --git a/lib/branch.mli b/lib/branch.mli index a60d91e..82542da 100644 --- a/lib/branch.mli +++ b/lib/branch.mli @@ -23,7 +23,7 @@ val find : t -> ?at:Term.t -> string -> World.def option REPL elaboration rule of decision 7. *) val transition : t -> string -> Pattern.t Label.Map.t -> World.transition_result option -(** [Insert relation: "R" tuple: {...} before: S after: S']: checks +(** [Insert relation: #R tuple: {...} before: S after: S']: checks the tuple against the relation's schema (integrity at the transition, decision 3), stores the successor state, and returns its digest for the VM to unify with [after:]. Stuck |