From a00234388d1b4e14481067d030bf90031258b756 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 26 Mar 2025 15:11:48 +0100 Subject: D2[Array] now has a Maybe instead of zero-size for zero Remaining problem: 'add' in Compile doesn't use the D2 stuff --- src/CHAD/Types.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/CHAD/Types.hs') diff --git a/src/CHAD/Types.hs b/src/CHAD/Types.hs index e8ec0c9..7f49cef 100644 --- a/src/CHAD/Types.hs +++ b/src/CHAD/Types.hs @@ -20,7 +20,7 @@ type family D2 t where D2 (TPair a b) = TMaybe (TPair (D2 a) (D2 b)) D2 (TEither a b) = TMaybe (TEither (D2 a) (D2 b)) D2 (TMaybe t) = TMaybe (D2 t) - D2 (TArr n t) = TArr n (D2 t) + D2 (TArr n t) = TMaybe (TArr n (D2 t)) D2 (TScal t) = D2s t type family D2s t where @@ -60,7 +60,7 @@ d2 STNil = STNil d2 (STPair a b) = STMaybe (STPair (d2 a) (d2 b)) d2 (STEither a b) = STMaybe (STEither (d2 a) (d2 b)) d2 (STMaybe t) = STMaybe (d2 t) -d2 (STArr n t) = STArr n (d2 t) +d2 (STArr n t) = STMaybe (STArr n (d2 t)) d2 (STScal t) = case t of STI32 -> STNil STI64 -> STNil -- cgit v1.2.3-70-g09d2