diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-09-22 14:32:49 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-09-22 14:32:49 +0200 |
| commit | 157f64af7070d312f06d0539115da2be11754b6c (patch) | |
| tree | 4b5d73b14f063c314b83b99f8ad938ea8ea709fb /src/Interpreter | |
| parent | 7f62bd9057f0ac06a74911193bfc964d11a575cf (diff) | |
Some hacking
Diffstat (limited to 'src/Interpreter')
| -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 680196c..aa2fcc9 100644 --- a/src/Interpreter/Rep.hs +++ b/src/Interpreter/Rep.hs @@ -19,7 +19,7 @@ type family Rep t where Rep (TScal sty) = ScalRep sty Rep (TAccum t) = RepAcSparse t --- Mutable, and has an O(1) zero. +-- Mutable, and has a zero. The zero may not be O(1), but RepAcSparse (D2 t) will have an O(1) zero. type family RepAcSparse t where RepAcSparse TNil = () RepAcSparse (TPair a b) = IORef (RepAcDense (TPair a b)) |