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

slightly improve a log message

Browse source
This commit is contained in:
rhiannon morris 2024-05-12 20:30:26 +02:00
parent b556c2f099
commit d276a66abd
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
lib/Quox/Equal.idr
View file

@ -916,7 +916,8 @@ parameters (loc : Loc) (ctx : TyContext d n)
(EqContext n -> DSubst d 0 -> Eff fs ()) -> Eff fs ()
eachCorner loc fvs act = do
say "equal" 50 loc $
hsep $ "eachCorner: split on" :: map prettyBind' (getVars ctx fvs)
let vars = map prettyBind' (getVars ctx fvs) in
hsep $ "eachCorner: split on" :: if null vars then ["(none)"] else vars
for_ (splits loc ctx.dctx fvs) $ \th =>
act (makeEqContext ctx th) th