From d4abcc3b2dfefbbcb7cd4a182eec64f1da42d951 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sun, 27 Jun 2021 18:34:35 +0200
Subject: Things

---
 Sink.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Sink.hs')

diff --git a/Sink.hs b/Sink.hs
index 1368cb6..c258dc5 100644
--- a/Sink.hs
+++ b/Sink.hs
@@ -39,6 +39,7 @@ sinkExp w = \case
     Ifold sht e1 e2 e3 -> Ifold sht (sinkExp w e1) (sinkExp w e2) (sinkExp w e3)
     Index e1 e2 -> Index (sinkExp w e1) (sinkExp w e2)
     Shape e -> Shape (sinkExp w e)
+    Undef t -> Undef t
 
 sinkExp1 :: Exp env a -> Exp (t ': env) a
 sinkExp1 = sinkExp (wSucc wId)
-- 
cgit v1.2.3-70-g09d2