summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--packages/base/src/Numeric/Chain.hs2
-rw-r--r--packages/base/src/Numeric/LinearAlgebra/Static.hs4
2 files changed, 4 insertions, 2 deletions
diff --git a/packages/base/src/Numeric/Chain.hs b/packages/base/src/Numeric/Chain.hs
index 4c497f0..443bd28 100644
--- a/packages/base/src/Numeric/Chain.hs
+++ b/packages/base/src/Numeric/Chain.hs
@@ -12,6 +12,8 @@
12-- 12--
13----------------------------------------------------------------------------- 13-----------------------------------------------------------------------------
14 14
15{-# LANGUAGE FlexibleContexts #-}
16
15module Numeric.Chain ( 17module Numeric.Chain (
16 optimiseMult, 18 optimiseMult,
17 ) where 19 ) where
diff --git a/packages/base/src/Numeric/LinearAlgebra/Static.hs b/packages/base/src/Numeric/LinearAlgebra/Static.hs
index cc5eb4f..037396d 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)
184type Sq n = L n n 184type Sq n = L n n
185--type CSq n = CL n n 185--type CSq n = CL n n
186 186
187type GL = (KnownNat n, KnownNat m) => L m n 187type GL = forall n m. (KnownNat n, KnownNat m) => L m n
188type GSq = KnownNat n => Sq n 188type GSq = forall n. KnownNat n => Sq n
189 189
190isKonst :: forall m n . (KnownNat m, KnownNat n) => L m n -> Maybe (ℝ,(Int,Int)) 190isKonst :: forall m n . (KnownNat m, KnownNat n) => L m n -> Maybe (ℝ,(Int,Int))
191isKonst s@(unwrap -> x) 191isKonst s@(unwrap -> x)