2c6a982 · ormolu · git.iko.soy

data/examples/declaration/signature/complete/complete-out.hsnew file+10

compare with master

unifiedsplit

@@ -0,0 +1,10 @@

1+{-# COMPLETE A, B, C :: Foo #-}

2+

3+{-# COMPLETE A, B #-}

4+

5+{-# COMPLETE

6+ A

7+ , B

8+ , C

9+ :: Foo

10+ #-}

data/examples/declaration/signature/complete/complete.hsnew file+13

@@ -0,0 +1,13 @@

1+{-# ComPlETe A , B, C:: Foo

2+

3+ #-}

4+

5+{-# COMPLETE A , B

6+ #-}

7+

8+{-# ComPlETE

9+ A ,

10+ B, C

11+

12+

13+ :: Foo#-}

src/Ormolu/Printer/Meat/Declaration/Signature.hs+15

@@ -32,6 +32,7 @@ p_sigDecl' = \case

32 InlineSig NoExt name inlinePragma -> p_inlineSig name inlinePragma

33 SpecSig NoExt name ts inlinePragma -> p_specSig name ts inlinePragma

34 MinimalSig NoExt _ booleanFormula -> p_minimalSig booleanFormula

35+ CompleteMatchSig NoExt _sourceText cs ty -> p_completeSig cs ty

35 _ -> notImplemented "certain types of signature declarations"

36 _ -> notImplemented "certain types of signature declarations"

36

37

37p_typeSig

38p_typeSig

@@ -157,3 +158,17 @@ p_booleanFormula = \case

157 (located' p_booleanFormula)

158 (located' p_booleanFormula)

158 xs

159 xs

159 Parens l -> located l (parens . p_booleanFormula)

160 Parens l -> located l (parens . p_booleanFormula)

161+

162+p_completeSig

163+ :: Located [Located RdrName] -- ^ Constructors\/patterns

164+ -> Maybe (Located RdrName) -- ^ Type

165+ -> R ()

166+p_completeSig cs' mty =

167+ located cs' $ \cs ->

168+ pragma "COMPLETE" $ do

169+ velt (withSep comma p_rdrName cs)

170+ forM_ mty $ \ty -> do

171+ breakpoint

172+ inci $ do

173+ txt ":: "

174+ p_rdrName ty