diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2024-12-06 16:59:42 +0100 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-12-06 16:59:42 +0100 |
| commit | 728909852208587c3c4c63da302d22e67d5cc915 (patch) | |
| tree | b1148a87f8954bca07238aeff7f7b979d450141a | |
| parent | ade38c607a8d0dc8dc1d701084ed88df2fa89df9 (diff) | |
Fix indentation
| -rw-r--r-- | src/CHAD.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/CHAD.hs b/src/CHAD.hs index 3da083b..04e3ac4 100644 --- a/src/CHAD.hs +++ b/src/CHAD.hs @@ -911,12 +911,12 @@ drev des = \case (#ix :++: #sh :++: #d1env)) e0)) $ let w = autoWeak (#ix (shty `SCons` SNil) - &. #sh (shty `SCons` SNil) - &. #e0 (bindingsBinds e0) - &. #d1env (desD1E des) - &. #d1env' (desD1E usedDes)) - (#e0 :++: #ix :++: LPreW #d1env' #d1env (wUndoSubenv subD1eUsed)) - (#e0 :++: #ix :++: #sh :++: #d1env) + &. #sh (shty `SCons` SNil) + &. #e0 (bindingsBinds e0) + &. #d1env (desD1E des) + &. #d1env' (desD1E usedDes)) + (#e0 :++: #ix :++: LPreW #d1env' #d1env (wUndoSubenv subD1eUsed)) + (#e0 :++: #ix :++: #sh :++: #d1env) in EPair ext (weakenExpr w e1) (collectexpr w))) `BPush` (STArr ndim tapety, emap (ESnd ext (EVar ext (STPair (d1 eltty) tapety) IZ)) (EVar ext (STArr ndim (STPair (d1 eltty) tapety)) IZ))) |