diff --git a/semantic-core/src/Data/Core/Pretty.hs b/semantic-core/src/Data/Core/Pretty.hs index 926fe7d44..0b07a8f19 100644 --- a/semantic-core/src/Data/Core/Pretty.hs +++ b/semantic-core/src/Data/Core/Pretty.hs @@ -55,7 +55,7 @@ prettyCore style = precBody . go . fmap name ] Lam (Named (Ignored x) b) -> prec 3 . group . nest 2 $ vsep - [ lambda <> name x, arrow <+> withPrec 3 (go (instantiate1 (pure (name x)) b)) ] + [ lambda <> name x, arrow <+> withPrec 0 (go (instantiate1 (pure (name x)) b)) ] Record fs -> atom . group . nest 2 $ vsep [ primitive "record", block ", " (map (uncurry keyValue) fs) ]