diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2021-06-27 18:34:35 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2021-06-27 18:34:35 +0200 |
| commit | d4abcc3b2dfefbbcb7cd4a182eec64f1da42d951 (patch) | |
| tree | 1ab301617043ac6df228ef617afa22633a01a671 /AD.hs | |
| parent | 0fefe4822c65bde81ec4c0da1b5b32a9b411ca79 (diff) | |
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 |