diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2015-01-13 19:48:26 -0500 |
|---|---|---|
| committer | Ben Gamari <bgamari.foss@gmail.com> | 2015-01-13 19:50:33 -0500 |
| commit | 480d5327d9ab8134eea1173baa1c40e689bcd056 (patch) | |
| tree | 9704c49b5da04900abf7c0cbdfcc478d7dba84d0 /packages | |
| parent | 815ef730c17bcdf5c6dcbd27c32da9ef944ae498 (diff) | |
Implicit quantification will soon be an error
Diffstat (limited to 'packages')
| -rw-r--r-- | packages/base/src/Numeric/LinearAlgebra/Static.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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) | |||
| 184 | type Sq n = L n n | 184 | type Sq n = L n n |
| 185 | --type CSq n = CL n n | 185 | --type CSq n = CL n n |
| 186 | 186 | ||
| 187 | type GL = (KnownNat n, KnownNat m) => L m n | 187 | type GL = forall n m. (KnownNat n, KnownNat m) => L m n |
| 188 | type GSq = KnownNat n => Sq n | 188 | type GSq = forall n. KnownNat n => Sq n |
| 189 | 189 | ||
| 190 | isKonst :: forall m n . (KnownNat m, KnownNat n) => L m n -> Maybe (ℝ,(Int,Int)) | 190 | isKonst :: forall m n . (KnownNat m, KnownNat n) => L m n -> Maybe (ℝ,(Int,Int)) |
| 191 | isKonst s@(unwrap -> x) | 191 | isKonst s@(unwrap -> x) |