diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-07-04 13:20:46 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-07-04 13:20:46 +0100 |
| commit | 29a05f990dd945be30995c4f46b91b5f7c83abd9 (patch) | |
| tree | fc68c964af9d02682520592e4566d25030b47031 /src/Term/Pretty.idr | |
| parent | 8791efda0cf7392144117cf780bfb6d687d2da5e (diff) | |
Make unions a pseudo-built-in type.
Diffstat (limited to 'src/Term/Pretty.idr')
| -rw-r--r-- | src/Term/Pretty.idr | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Term/Pretty.idr b/src/Term/Pretty.idr index cd7ed6f..043d478 100644 --- a/src/Term/Pretty.idr +++ b/src/Term/Pretty.idr @@ -152,6 +152,11 @@ prettyOp Pred = keyword "pred" prettyOp Minus = keyword "minus" prettyOp Div = keyword "div" prettyOp Mod = keyword "mod" +prettyOp (Inl _ _) = keyword "inl" +prettyOp (Inr _ _) = keyword "inr" +prettyOp (Prl _ _) = keyword "prl" +prettyOp (Prr _ _) = keyword "prr" +prettyOp (Arb _) = keyword "arb" parameters (names : Stream String) prettyTerm' : (len : Len ctx) => Prec -> Term ty ctx -> Doc Syntax |