anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-08 08:39:26 +03:00
Code Issues Projects Releases Wiki Activity

[pretty] group infix declaration with symbol definition

Browse Source
This commit is contained in:
Jan Mas Rovira 2022-02-03 23:59:40 +01:00
parent 4d14338c30
commit 7510cd2240
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/MiniJuvix/Syntax/Concrete/Scoped/Pretty/Base.hs
View File

@ -213,6 +213,9 @@ groupStatements = reverse . map reverse . uncurry cons . foldl' aux ([], [])
definesSymbol :: Symbol -> Statement 'Scoped -> Bool definesSymbol :: Symbol -> Statement 'Scoped -> Bool
definesSymbol n s = case s of definesSymbol n s = case s of
StatementTypeSignature sig -> n == S._nameConcrete (sigName sig) StatementTypeSignature sig -> n == S._nameConcrete (sigName sig)
StatementInductive InductiveDef{..} ->
n == S._nameConcrete inductiveName ||
elem n (map (S._nameConcrete . constructorName) inductiveConstructors)
_ -> False _ -> False
ppStatements :: Members '[Reader Options] r => [Statement 'Scoped] -> Sem r (Doc Ann) ppStatements :: Members '[Reader Options] r => [Statement 'Scoped] -> Sem r (Doc Ann)