From 7689433baac01b6e9f3d7f91bec0ec1b89f15104 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 12 Oct 2026 12:00:45 -0300 Subject: temporary handle instead of type description everywhere --- test/unit/kernel/Branch.ml | 2 +- test/unit/kernel/EphemeralRelation.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'test/unit/kernel') diff --git a/test/unit/kernel/Branch.ml b/test/unit/kernel/Branch.ml index 606d8b7..d92a6d7 100644 --- a/test/unit/kernel/Branch.ml +++ b/test/unit/kernel/Branch.ml @@ -114,7 +114,7 @@ type K.Program.kind += Title of string | Endless | Shout of K.Path.t let endless () = K.EphemeralRelation.instantiate title ~modes:(fun () -> Ok [C.(Mode.mode [] Cardinality.Countable)]) - {K.EphemeralRelation.name= None; schematics= `Temporary title; pointer= None} + (K.EphemeralRelation.temporary title) (fun () -> Ok (K.Generator.cursor_of (fun ~yield -> diff --git a/test/unit/kernel/EphemeralRelation.ml b/test/unit/kernel/EphemeralRelation.ml index 1e9aa2f..151f8fc 100644 --- a/test/unit/kernel/EphemeralRelation.ml +++ b/test/unit/kernel/EphemeralRelation.ml @@ -12,7 +12,7 @@ let description = { Protocols.Schematics.domain= "integer"; provenance= [{Protocols.Schematics.source= ["example"]; attribute= "value"}] } -let temporary = {Ephemeral.name= None; schematics= `Temporary description; pointer= None} +let temporary = Ephemeral.temporary description let over ?inputs ?(value = temporary) members = Ephemeral.instantiate ?inputs description value -- cgit v1.2.3