This commit is contained in:
Chris Penner 2023-08-16 21:14:16 -07:00
parent 2528ef2008
commit 4cefceedc7

View File

@ -1005,8 +1005,7 @@ prettyBinding0' a@AmbientContext {imports = im, docContext = doc} v term =
[x] ->
PP.sep
" "
[
renderName v,
[ renderName v,
fmt S.Var $ PP.text (Var.name x)
]
_ -> l "error"