Garmelon/propa-tools
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Properly display the empty list

Browse source
This commit is contained in:
Joscha 2020-12-14 00:18:57 +00:00
parent 90f97c4c30
commit 54214ed10c
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/Propa/Prolog/Display.hs
View file

@ -29,6 +29,7 @@ displayName name
] ]
displayStat :: Stat T.Text -> T.Text displayStat :: Stat T.Text -> T.Text
displayStat (Stat "[]" []) = "[]"
displayStat (Stat "[|]" [a, b]) = "[" <> displayTerm a <> displayList b displayStat (Stat "[|]" [a, b]) = "[" <> displayTerm a <> displayList b
displayStat (Stat name []) = displayName name displayStat (Stat name []) = displayName name
displayStat (Stat name args) displayStat (Stat name args)