@@ -1246,10 +1246,9 @@ pprintPTerm ppo bnd docArgs infixes = prettySe 10 bnd
1246 text "\\" <> bindingOf n False <+> text "=>" <$>
1246 text "\\" <> bindingOf n False <+> text "=>" <$>
1247 prettySe 10 ((n, False):bnd) sc
1247 prettySe 10 ((n, False):bnd) sc
1248 prettySe p bnd (PLet n ty v sc) =
1248 prettySe p bnd (PLet n ty v sc) =
1249− bracket p 2 $
1249+ bracket p 2 . group . align $
1250− kwd "let" <+> bindingOf n False <+> text "=" </>
1250+ kwd "let" <+> (group . align . hang 2 $ bindingOf n False <+> text "=" <$> prettySe 10 bnd v) </>
1251− prettySe 10 bnd v <+> kwd "in" </>
1252− prettySe 10 ((n, False):bnd) sc
1251+ kwd "in" <+> (group . align . hang 2 $ prettySe 10 ((n, False):bnd) sc)
1253 prettySe p bnd (PPi (Exp l s _) n ty sc)
1252 prettySe p bnd (PPi (Exp l s _) n ty sc)
1254 | n `elem` allNamesIn sc || ppopt_impl ppo || n `elem` docArgs =
1253 | n `elem` allNamesIn sc || ppopt_impl ppo || n `elem` docArgs =
1255 bracket p 2 . group $
1254 bracket p 2 . group $