diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2026-02-08 15:43:02 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2026-02-12 20:44:47 +0100 |
| commit | 62796be35e6e768147aab70ba0beeb94c058c714 (patch) | |
| tree | dd43c8c2f37c59308b6b7d503fd25420621b0ab9 /src/CHAD/Drev | |
| parent | c2831ef0f8be71f2a72ee4eee446e2ac473fb638 (diff) | |
WIP (continue in UnMonoid)
Diffstat (limited to 'src/CHAD/Drev')
| -rw-r--r-- | src/CHAD/Drev/Types.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/CHAD/Drev/Types.hs b/src/CHAD/Drev/Types.hs index 367a974..f23aeba 100644 --- a/src/CHAD/Drev/Types.hs +++ b/src/CHAD/Drev/Types.hs @@ -55,6 +55,7 @@ d1 (STMaybe t) = STMaybe (d1 t) d1 (STArr n t) = STArr n (d1 t) d1 (STScal t) = STScal t d1 STAccum{} = error "Accumulators not allowed in input program" +d1 STIdxPair{} = error "Index pairs not allowed in input program" d1e :: SList STy env -> SList STy (D1E env) d1e SNil = SNil @@ -74,6 +75,7 @@ d2M (STScal t) = case t of STF64 -> SMTScal STF64 STBool -> SMTNil d2M STAccum{} = error "Accumulators not allowed in input program" +d2M STIdxPair{} = error "Index pairs not allowed in input program" d2 :: STy t -> STy (D2 t) d2 = fromSMTy . d2M @@ -147,6 +149,7 @@ d1Identity = \case STArr _ t | Refl <- d1Identity t -> Refl STScal _ -> Refl STAccum{} -> error "Accumulators not allowed in input program" + STIdxPair{} -> error "Index pairs not allowed in input program" d1eIdentity :: SList STy env -> D1E env :~: env d1eIdentity SNil = Refl |