From 7729c45a325fe653421d654ed4c28b040585fce9 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Thu, 23 Oct 2025 23:54:14 +0200 Subject: subenvSplit (unused, commented out, but it's written now) --- src/AST/Env.hs | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/AST/Env.hs b/src/AST/Env.hs index 422f0f7..85faba3 100644 --- a/src/AST/Env.hs +++ b/src/AST/Env.hs @@ -64,6 +64,16 @@ subenvConcat sub1 SETop = sub1 subenvConcat sub1 (SEYes s sub2) = SEYes s (subenvConcat sub1 sub2) subenvConcat sub1 (SENo sub2) = SENo (subenvConcat sub1 sub2) +-- subenvSplit :: SList f env1a -> Subenv' s (Append env1a env1b) env2 +-- -> (forall env2a env2b. Subenv' s env1a env2a -> Subenv' s env1b env2b -> r) -> r +-- subenvSplit SNil sub k = k SETop sub +-- subenvSplit (SCons _ list) (SENo sub) k = +-- subenvSplit list sub $ \sub1 sub2 -> +-- k (SENo sub1) sub2 +-- subenvSplit (SCons _ list) (SEYes s sub) k = +-- subenvSplit list sub $ \sub1 sub2 -> +-- k (SEYes s sub1) sub2 + sinkWithSubenv :: Subenv' s env env' -> env0 :> Append env' env0 sinkWithSubenv SETop = WId sinkWithSubenv (SEYes _ sub) = WSink .> sinkWithSubenv sub -- cgit v1.2.3-70-g09d2