diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-03-26 15:11:48 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-26 15:11:48 +0100 |
| commit | a00234388d1b4e14481067d030bf90031258b756 (patch) | |
| tree | 501b6778fc5779ce220aba1e22f56ae60f68d970 /src/Interpreter | |
| parent | 7971f6dff12bc7b66a5d4ae91a6791ac08872c31 (diff) | |
D2[Array] now has a Maybe instead of zero-size for zero
Remaining problem: 'add' in Compile doesn't use the D2 stuff
Diffstat (limited to 'src/Interpreter')
| -rw-r--r-- | src/Interpreter/Rep.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Interpreter/Rep.hs b/src/Interpreter/Rep.hs index f84f4e7..be2a4cc 100644 --- a/src/Interpreter/Rep.hs +++ b/src/Interpreter/Rep.hs @@ -29,8 +29,7 @@ type family RepAc t where RepAc (TPair a b) = IORef (Maybe (RepAc a, RepAc b)) RepAc (TEither a b) = IORef (Maybe (Either (RepAc a) (RepAc b))) RepAc (TMaybe t) = IORef (Maybe (RepAc t)) - -- TODO: an empty array is invalid for a zero-dimensional array, so zero-dimensional arrays don't actually have an O(1) zero. - RepAc (TArr n t) = IORef (Array n (RepAc t)) -- empty array is zero + RepAc (TArr n t) = IORef (Maybe (Array n (RepAc t))) RepAc (TScal sty) = RepAcScal sty RepAc (TAccum t) = TypeError (Text "RepAcSparse: Nested accumulators") |