@@ -1078,7 +1078,7 @@ pprintPTerm impl bnd = prettySe 10 bnd
1078 | Just n <- snat p e = annotate AnnConstData (text (show n))
1078 | Just n <- snat p e = annotate AnnConstData (text (show n))
1079 prettySe p bnd (PRef fc n) = prettyName impl bnd n
1079 prettySe p bnd (PRef fc n) = prettyName impl bnd n
1080 prettySe p bnd (PLam n ty sc) =
1080 prettySe p bnd (PLam n ty sc) =
1081− bracket p 2 . group . hang 2 $
1081+ bracket p 2 . group . align . hang 2 $
1082 text "\\" <> bindingOf n False <+> text "=>" <$>
1082 text "\\" <> bindingOf n False <+> text "=>" <$>
1083 prettySe 10 ((n, False):bnd) sc
1083 prettySe 10 ((n, False):bnd) sc
1084 prettySe p bnd (PLet n ty v sc) =
1084 prettySe p bnd (PLet n ty v sc) =