diff options
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 |