From 0f0b526442cc97fa76772b88270eecf644d79326 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 12 Nov 2024 11:47:11 +0100 Subject: Make fromInteger error for all array types They made no sense anyway, and horde-ad should now not use them any more --- src/Data/Array/Nested/Internal/Mixed.hs | 2 +- src/Data/Array/Nested/Internal/Ranked.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Data') diff --git a/src/Data/Array/Nested/Internal/Mixed.hs b/src/Data/Array/Nested/Internal/Mixed.hs index a979bf1..29d4ba0 100644 --- a/src/Data/Array/Nested/Internal/Mixed.hs +++ b/src/Data/Array/Nested/Internal/Mixed.hs @@ -241,7 +241,7 @@ instance (NumElt a, PrimElt a, Num a) => Num (Mixed sh a) where abs = mliftNumElt1 numEltAbs signum = mliftNumElt1 numEltSignum -- TODO: THIS IS BAD, WE NEED TO REMOVE THIS - fromInteger n = unsafeCoerce @(Mixed '[] a) @(Mixed sh a) $ fromPrimitive $ M_Primitive ZSX (X.scalar (fromInteger n)) + fromInteger = error "Mixed(fromInteger): Cannot implement fromInteger, use mreplicateScal" instance (FloatElt a, NumElt a, PrimElt a, Num a) => Fractional (Mixed sh a) where fromRational _ = error "Data.Array.Nested.fromRational: No singletons available, use explicit mreplicate" diff --git a/src/Data/Array/Nested/Internal/Ranked.hs b/src/Data/Array/Nested/Internal/Ranked.hs index e5ed3af..39a6018 100644 --- a/src/Data/Array/Nested/Internal/Ranked.hs +++ b/src/Data/Array/Nested/Internal/Ranked.hs @@ -197,7 +197,7 @@ instance (NumElt a, PrimElt a, Num a) => Num (Ranked n a) where negate = arithPromoteRanked negate abs = arithPromoteRanked abs signum = arithPromoteRanked signum - fromInteger = Ranked . fromInteger + fromInteger = error "Ranked(fromInteger): Cannot implement fromInteger, use rreplicateScal" instance (FloatElt a, NumElt a, PrimElt a, Num a) => Fractional (Ranked n a) where fromRational _ = error "Data.Array.Nested.fromRational: No singletons available, use explicit rreplicateScal" -- cgit v1.2.3-70-g09d2