Carry record elements by the drop-glue rule and unify the lift and extract adapters

This commit is contained in:
Dennis Kobert
2026-08-05 22:17:50 +00:00
parent 592b2fbe32
commit 9680d34abf
3 changed files with 144 additions and 176 deletions

View File

@@ -636,9 +636,9 @@ mod tests {
let scope = scope_fixture(&generations, &arena);
let ctx = ContextImpl::root(&scope);
let lift = core_types::record::RecordLiftRef::<String, _>::new(ValueNode(String::from("parked")));
let lift = core_types::record::RecordLift::<String, _>::new(ValueNode(String::from("parked")));
let layout = Node::<ContextImpl>::layout(&lift).unwrap().clone();
let chain = core_types::record::RecordExtractClone::<String, _>::new(lift, &layout);
let chain = core_types::record::RecordExtract::<String, _>::new(lift, &layout);
let GPoll::Final(text) = chain.eval(&ctx) else {
panic!("expected a final value");