diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-10-23 23:54:14 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-10-23 23:54:14 +0200 |
| commit | 7729c45a325fe653421d654ed4c28b040585fce9 (patch) | |
| tree | 33cf559653f934eba9d6bc657c6c08d74962e28b | |
| parent | 2542f5ef42452967fec1d2376927c1f36bf263f4 (diff) | |
subenvSplit (unused, commented out, but it's written now)
| -rw-r--r-- | src/AST/Env.hs | 10 |
1 files changed, 10 insertions, 0 deletions
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 |