diff --git a/lib/gzc-pretty/src/Language/Zilch/Pretty/TAST.hs b/lib/gzc-pretty/src/Language/Zilch/Pretty/TAST.hs index d77e75f..fbc4ed0 100644 --- a/lib/gzc-pretty/src/Language/Zilch/Pretty/TAST.hs +++ b/lib/gzc-pretty/src/Language/Zilch/Pretty/TAST.hs @@ -25,14 +25,14 @@ instance Pretty (Located Definition) where (if isRec then "rec" else "let") <> space <> pretty (unLoc name) + <> space + <> ":" + <> space + <> pretty typ <> line <> indent 2 - ( ":" - <> space - <> pretty typ - <> line - <> "≔" + ( "≔" <> line <> line <> pretty val