From d5e02224b16b9d616e5193e0b9c48865b2415699 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sat, 13 Apr 2024 12:36:49 +0200 Subject: 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. --- src/Data/Array/Nested/Internal.hs | 1 - 1 file changed, 1 deletion(-) (limited to 'src/Data/Array/Nested/Internal.hs') 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 () -- cgit v1.2.3-70-g09d2