From 29a05f990dd945be30995c4f46b91b5f7c83abd9 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 4 Jul 2023 13:20:46 +0100
Subject: Make unions a pseudo-built-in type.

---
 src/Term/Pretty.idr | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/Term/Pretty.idr')

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
-- 
cgit v1.2.3