Require indent after 'where' in GADTs

unisonweb · Feb 12, 2025 · d057a12 · d057a12
1 parent 4ae0194
commit d057a12
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/parser-typechecker/src/Unison/Syntax/DeclPrinter.hs b/parser-typechecker/src/Unison/Syntax/DeclPrinter.hs
@@ -84,9 +84,9 @@ prettyGADT ::
   DataDeclaration v a ->
   Pretty SyntaxText
 prettyGADT env ctorType r name dd =
-  P.hang header . P.lines $
-    constructor <$> zip [0 ..] (DD.constructors' dd)
+  header <> P.newline <> P.indentN 2 constructors
   where
+    constructors = P.lines (constructor <$> zip [0 ..] (DD.constructors' dd))
     constructor (n, (_, _, t)) =
       prettyPattern (PPED.unsuffixifiedPPE env) ctorType name (ConstructorReference r n)
         <> fmt S.TypeAscriptionColon " :"