diff options
Diffstat (limited to 'packages/base/src')
-rw-r--r-- | packages/base/src/Numeric/LinearAlgebra/Static.hs | 21 | ||||
-rw-r--r-- | packages/base/src/Numeric/LinearAlgebra/Static/Internal.hs | 9 |
2 files changed, 30 insertions, 0 deletions
diff --git a/packages/base/src/Numeric/LinearAlgebra/Static.hs b/packages/base/src/Numeric/LinearAlgebra/Static.hs index 4258d6b..388d165 100644 --- a/packages/base/src/Numeric/LinearAlgebra/Static.hs +++ b/packages/base/src/Numeric/LinearAlgebra/Static.hs | |||
@@ -1,3 +1,5 @@ | |||
1 | #if __GLASGOW_HASKELL__ >= 708 | ||
2 | |||
1 | {-# LANGUAGE DataKinds #-} | 3 | {-# LANGUAGE DataKinds #-} |
2 | {-# LANGUAGE KindSignatures #-} | 4 | {-# LANGUAGE KindSignatures #-} |
3 | {-# LANGUAGE GeneralizedNewtypeDeriving #-} | 5 | {-# LANGUAGE GeneralizedNewtypeDeriving #-} |
@@ -616,4 +618,23 @@ instance (KnownNat n', KnownNat m') => Testable (L n' m') | |||
616 | where | 618 | where |
617 | checkT _ = test | 619 | checkT _ = test |
618 | 620 | ||
621 | #else | ||
622 | |||
623 | {- | | ||
624 | Module : Numeric.LinearAlgebra.Static | ||
625 | Copyright : (c) Alberto Ruiz 2014 | ||
626 | License : BSD3 | ||
627 | Stability : experimental | ||
628 | |||
629 | Experimental interface with statically checked dimensions. | ||
630 | |||
631 | This module requires GHC >= 7.8 | ||
632 | |||
633 | -} | ||
634 | |||
635 | module Numeric.LinearAlgebra.Static | ||
636 | {-# WARNING "This module requires GHC >= 7.8" #-} | ||
637 | where | ||
638 | |||
639 | #endif | ||
619 | 640 | ||
diff --git a/packages/base/src/Numeric/LinearAlgebra/Static/Internal.hs b/packages/base/src/Numeric/LinearAlgebra/Static/Internal.hs index c9641d5..b13c264 100644 --- a/packages/base/src/Numeric/LinearAlgebra/Static/Internal.hs +++ b/packages/base/src/Numeric/LinearAlgebra/Static/Internal.hs | |||
@@ -1,3 +1,5 @@ | |||
1 | #if __GLASGOW_HASKELL__ >= 708 | ||
2 | |||
1 | {-# LANGUAGE DataKinds #-} | 3 | {-# LANGUAGE DataKinds #-} |
2 | {-# LANGUAGE KindSignatures #-} | 4 | {-# LANGUAGE KindSignatures #-} |
3 | {-# LANGUAGE GeneralizedNewtypeDeriving #-} | 5 | {-# LANGUAGE GeneralizedNewtypeDeriving #-} |
@@ -420,3 +422,10 @@ instance KnownNat n => Disp (C n) | |||
420 | putStr "C " >> putStr (tail . dropWhile (/='x') $ su) | 422 | putStr "C " >> putStr (tail . dropWhile (/='x') $ su) |
421 | 423 | ||
422 | -------------------------------------------------------------------------------- | 424 | -------------------------------------------------------------------------------- |
425 | |||
426 | #else | ||
427 | |||
428 | module Numeric.LinearAlgebra.Static.Internal where | ||
429 | |||
430 | #endif | ||
431 | |||