diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-10-22 23:46:39 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-10-22 23:47:53 +0200 |
| commit | 3847c6ae2d5eb581dac88629e7534aa42e143411 (patch) | |
| tree | 63036604613f8ac17efd8978004c579a0a5bb39b /src/Interpreter | |
| parent | d6d07f3bf20b4a3c0e51b4414fb0e4538176d294 (diff) | |
Fix interpreter bug
Diffstat (limited to 'src/Interpreter')
| -rw-r--r-- | src/Interpreter/Rep.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Interpreter/Rep.hs b/src/Interpreter/Rep.hs index ed307c0..5c20183 100644 --- a/src/Interpreter/Rep.hs +++ b/src/Interpreter/Rep.hs @@ -25,6 +25,7 @@ type family RepAcSparse t where RepAcSparse (TPair a b) = IORef (RepAcSparse a, RepAcSparse b) RepAcSparse (TEither a b) = TypeError (Text "Non-sparse coproduct is not a monoid") RepAcSparse (TMaybe t) = IORef (Maybe (RepAcDense t)) -- allow the value to be dense, because the Maybe's zero can be used for the contents + -- TODO: an empty array is invalid for a zero-dimensional array, so zero-dimensional arrays don't actually have an O(1) zero. RepAcSparse (TArr n t) = IORef (Array n (RepAcSparse t)) -- empty array is zero RepAcSparse (TScal sty) = IORef (ScalRep sty) RepAcSparse (TAccum t) = TypeError (Text "RepAcSparse: Nested accumulators") |