@@ -122,10 +122,11 @@ dumpState ist ps@(PS nm (h:hs) _ _ tm _ _ _ _ _ _ problems i _ _ ctxy _ _ _ _) =
122122 prettyPs bnd ((n@(MN _ r), _) : bs)
123123 | r == txt "rewrite_rule" = prettyPs ((n, False):bnd) bs
124124 prettyPs bnd ((n, Let t v) : bs) =
125− nest nestingSize (bindingOf n False <+> text "=" <+> tPretty bnd v <> colon <+>
126− tPretty ((n, False):bnd) t <> line <> prettyPs ((n, False):bnd) bs)
125+ line <> bindingOf n False <+> text "=" <+> tPretty bnd v <+> colon <+>
126+ align (tPretty bnd t) <> prettyPs ((n, False):bnd) bs
127127 prettyPs bnd ((n, b) : bs) =
128− line <> bindingOf n False <+> colon <+> align (tPretty bnd (binderTy b)) <> prettyPs ((n, False):bnd) bs
128+ line <> bindingOf n False <+> colon <+>
129+ align (tPretty bnd (binderTy b)) <> prettyPs ((n, False):bnd) bs
129130
130131 prettyG bnd (Guess t v) = tPretty bnd t <+> text "=?=" <+> tPretty bnd v
131132 prettyG bnd b = tPretty bnd $ binderTy b