rhi/quox
rhi/quox
1
0
Fork 0
Code Issues 15 Pull requests 1 Releases Wiki Activity

print quantity on let

Browse source
This commit is contained in:
rhiannon morris 2023-12-07 01:37:08 +01:00
parent 03c197bd04
commit 0fdd4741be
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
lib/Quox/Syntax/Term/Pretty.idr
View file

@ -349,9 +349,10 @@ prettyLets dnames xs lets = sequence $ snd $ go lets where
go (lets :< (qty, x, rhs)) = go (lets :< (qty, x, rhs)) =
let (ys, docs) = go lets let (ys, docs) = go lets
doc = do doc = do
lett <- [|letD <+> prettyQty qty|]
x <- prettyTBind x x <- prettyTBind x
rhs <- withPrec Outer $ assert_total prettyElim dnames ys rhs rhs <- withPrec Outer $ assert_total prettyElim dnames ys rhs
hangDSingle (hsep [!letD, x, !cstD]) (hsep [rhs, !inD]) in hangDSingle (hsep [lett, x, !cstD]) (hsep [rhs, !inD]) in
(ys :< x, docs :< doc) (ys :< x, docs :< doc)