diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-05 18:26:31 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-04-05 18:26:31 +0200 |
| commit | b6c1d3a9d0651aa25ea5f03d514a214a3347f7a4 (patch) | |
| tree | 49764a3f3b78bb2848cdc871a1217f7ae1a04120 /src/AST/Weaken.hs | |
| parent | ebe8d8219e12fc9ac7ca58b367bc91e640ed0556 (diff) | |
Split product lets before chad
Diffstat (limited to 'src/AST/Weaken.hs')
| -rw-r--r-- | src/AST/Weaken.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/AST/Weaken.hs b/src/AST/Weaken.hs index bd2c244..d882e28 100644 --- a/src/AST/Weaken.hs +++ b/src/AST/Weaken.hs @@ -126,3 +126,7 @@ wCopies bs w = wRaiseAbove :: SList f env1 -> SList g env -> env1 :> Append env1 env wRaiseAbove SNil _ = WClosed wRaiseAbove (SCons _ s) env = WCopy (wRaiseAbove s env) + +wPops :: SList f bs -> Append bs env1 :> env2 -> env1 :> env2 +wPops SNil w = w +wPops (_ `SCons` bs) w = wPops bs (WPop w) |