plutils

commit 0d496dd25c17d0d9a2321d6e9994b27ea404e02d
parent 34739462219d755862e3e5aba8144d2260ccc114
Author: Robert Russell <robert@rr3.xyz>
Date:   Mon, 22 Dec 2025 12:16:38 -0800

Add weaken

Not sure what this is for. Just committing unchanged work.

Diffstat:
M
src/PlUtils/Environment.hs
 | 
3
+++

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/src/PlUtils/Environment.hs b/src/PlUtils/Environment.hs
@@ -35,6 +35,9 @@ bind (Environment d s) =
     let (l, d') = descend d
     in (l, Environment d' s)
 
+weaken :: Environment v -> Environment v
+weaken = snd . bind
+
 -- | Assign a value to an existing variable.
 assign :: Level -> v -> Environment v -> Environment v
 assign l v (Environment d s) = assertLvlInBounds d l $ Environment d (NatMap.insert (unLevel l) v s)