diff options
Diffstat (limited to 'src/Interpreter/Rep.hs')
| -rw-r--r-- | src/Interpreter/Rep.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Interpreter/Rep.hs b/src/Interpreter/Rep.hs index 0007991..335ad1f 100644 --- a/src/Interpreter/Rep.hs +++ b/src/Interpreter/Rep.hs @@ -37,7 +37,7 @@ type family RepAcSparse t where -- Immutable, and does not necessarily have a zero. type family RepAcDense t where RepAcDense TNil = () - -- RepAcDense (TPair a b) = (RepAcSparse a, RepAcSparse b) + RepAcDense (TPair a b) = (RepAcSparse a, RepAcSparse b) RepAcDense (TEither a b) = Either (RepAcSparse a) (RepAcSparse b) -- RepAcDense (TMaybe t) = RepAcSparse (TMaybe t) -- ^ This can be optimised to TMaybe (RepAcSparse t), but that makes accumAddDense very hard to write. And in any case, we don't need it because D2 will not produce Maybe of Maybe. -- RepAcDense (TArr n t) = Array n (RepAcSparse t) |