diff options
author | Tom Smeding <tom@tomsmeding.com> | 2024-04-13 12:36:49 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2024-04-13 12:37:46 +0200 |
commit | d5e02224b16b9d616e5193e0b9c48865b2415699 (patch) | |
tree | 95fd19ba185fc4bb2a3934c3f2b5332f2eb35432 | |
parent | 36a89c7a26d73b0583ac765d29dadb1b918007f6 (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.hs | 1 |
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 () |