aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-04-13 12:36:49 +0200
committerTom Smeding <tom@tomsmeding.com>2024-04-13 12:37:46 +0200
commitd5e02224b16b9d616e5193e0b9c48865b2415699 (patch)
tree95fd19ba185fc4bb2a3934c3f2b5332f2eb35432
parent36a89c7a26d73b0583ac765d29dadb1b918007f6 (diff)
Remove spurious comment
The reason these via-instances work is because e.g. `Mixed sh Double` and `Mixed sh (Primitive Double)` are both newtypes around `XArray sh Double`, so they are indeed Coercible without any need for special roles in orthotope.
-rw-r--r--src/Data/Array/Nested/Internal.hs1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Internal.hs b/src/Data/Array/Nested/Internal.hs
index d92c79c..840bb96 100644
--- a/src/Data/Array/Nested/Internal.hs
+++ b/src/Data/Array/Nested/Internal.hs
@@ -201,7 +201,6 @@ instance VU.Unbox a => Elt (Primitive a) where
mvecsFreeze sh (MV_Primitive v) = M_Primitive . X.fromVector sh <$> VU.freeze v
--- What a blessing that orthotope's Array has "representational" role on the value type!
deriving via Primitive Int instance Elt Int
deriving via Primitive Double instance Elt Double
deriving via Primitive () instance Elt ()