diff options
Diffstat (limited to 'AD.hs')
-rw-r--r-- | AD.hs | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |