Missing case for showing capabilities

[EliasC]

Was looking for bug and came across this:

class Main
  def main() : void
    ()

encorec: src/types/Types.hs:136:3-43: Non-exhaustive patterns in function show

It seems there is a missing case for showing the empty capability. Adding -fwarn-incomplete-patterns detects this at compile time (and some other missing cases). Maybe we should add this flag as a GHC option to our build? Actually I would like us to use -Wall, but right now that gives almost 1000 lines of warnings, and I don't think anyone wants to fix those...

git blame suggests assigning @albertnetymk.

[albertnetymk]

I can't reproduce it on master.

[EliasC]

Sorry! Forgot the important detail of compiling with -AST.

[albertnetymk]

Fixed by f232368.