summaryrefslogtreecommitdiff
path: root/packages
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2014-06-16 17:57:57 +0200
committerAlberto Ruiz <aruiz@um.es>2014-06-16 17:57:57 +0200
commit25973e7498af7649c614b6f05c6c3b8cc3f24637 (patch)
treebaaa9dcda69a98523f740824f2d775cdc320ea51 /packages
parenta0d4c175ac2d3a8f0a0327af96ca5d3dd0f834ea (diff)
conditional compilation of static interface
Diffstat (limited to 'packages')
-rw-r--r--packages/base/src/Numeric/LinearAlgebra/Static.hs21
-rw-r--r--packages/base/src/Numeric/LinearAlgebra/Static/Internal.hs9
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{- |
624Module : Numeric.LinearAlgebra.Static
625Copyright : (c) Alberto Ruiz 2014
626License : BSD3
627Stability : experimental
628
629Experimental interface with statically checked dimensions.
630
631This module requires GHC >= 7.8
632
633-}
634
635module Numeric.LinearAlgebra.Static
636{-# WARNING "This module requires GHC >= 7.8" #-}
637where
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
428module Numeric.LinearAlgebra.Static.Internal where
429
430#endif
431