From 480d5327d9ab8134eea1173baa1c40e689bcd056 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Tue, 13 Jan 2015 19:48:26 -0500 Subject: Implicit quantification will soon be an error --- packages/base/src/Numeric/LinearAlgebra/Static.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'packages') diff --git a/packages/base/src/Numeric/LinearAlgebra/Static.hs b/packages/base/src/Numeric/LinearAlgebra/Static.hs index cbcd4e2..5749c40 100644 --- a/packages/base/src/Numeric/LinearAlgebra/Static.hs +++ b/packages/base/src/Numeric/LinearAlgebra/Static.hs @@ -184,8 +184,8 @@ a ¦ b = tr (tr a —— tr b) type Sq n = L n n --type CSq n = CL n n -type GL = (KnownNat n, KnownNat m) => L m n -type GSq = KnownNat n => Sq n +type GL = forall n m. (KnownNat n, KnownNat m) => L m n +type GSq = forall n. KnownNat n => Sq n isKonst :: forall m n . (KnownNat m, KnownNat n) => L m n -> Maybe (ℝ,(Int,Int)) isKonst s@(unwrap -> x) -- cgit v1.2.3