From 9c1f355e4dfc1ae745b4b22471a103a3754a6278 Mon Sep 17 00:00:00 2001 From: Henning Thielemann Date: Thu, 29 Mar 2018 21:37:22 +0200 Subject: base:Internal.Numeric.ComplexOf: turn from type function to type synonym Now it is obvious for GHC that (ComplexOf a) is always a Complex type. --- packages/base/src/Internal/Numeric.hs | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) (limited to 'packages') diff --git a/packages/base/src/Internal/Numeric.hs b/packages/base/src/Internal/Numeric.hs index c9ef0c5..d478984 100644 --- a/packages/base/src/Internal/Numeric.hs +++ b/packages/base/src/Internal/Numeric.hs @@ -788,13 +788,7 @@ type instance RealOf (Complex Float) = Float type instance RealOf I = I type instance RealOf Z = Z -type family ComplexOf x - -type instance ComplexOf Double = Complex Double -type instance ComplexOf (Complex Double) = Complex Double - -type instance ComplexOf Float = Complex Float -type instance ComplexOf (Complex Float) = Complex Float +type ComplexOf x = Complex (RealOf x) type family SingleOf x -- cgit v1.2.3