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

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

(limited to 'AD.hs')

diff --git a/AD.hs b/AD.hs
index 76fefe4..c9ac72e 100644
--- a/AD.hs
+++ b/AD.hs
@@ -99,6 +99,7 @@ ad' env = \case
       | TArray sht _ <- typeof e
       , Refl <- prfDualSht sht
       -> Shape (ad' env e)
+    Undef t -> Undef (dual t)
 
 convIdx :: DEnv env env' -> Idx env a -> Either (Idx env' a) (Idx env' (Dual a))
 convIdx ETop i = Left i
-- 
cgit v1.2.3-70-g09d2