Remove sundials as it has its own repo now. Fix

* haskell-numerics#304 * haskell-numerics#302 * haskell-numerics#290
idontgetoutmuch · Jun 30, 2019 · cb09d0e · cb09d0e
1 parent c4b80ef
commit cb09d0e
Show file tree

Hide file tree

Showing 18 changed files with 6 additions and 1,970 deletions.
diff --git a/examples/examples.cabal b/examples/examples.cabal
@@ -1,5 +1,5 @@
 name:                examples
-version:             0.19.0.0
+version:             0.20.0.0
 synopsis:            Example usage of the various hmatrix packages
 homepage:            https://github.com/albertoruiz/hmatrix
 license:             BSD3
@@ -12,22 +12,6 @@ build-type:          Simple
 extra-source-files:  ChangeLog.md
 cabal-version:       >=1.10
 
-executable sundials
-  main-is:             sundials.hs
-  build-depends:       base >=4.10 && <4.11,
-                       hmatrix,
-                       hmatrix-sundials,
-                       hmatrix-gsl
-  default-language:    Haskell2010
-
-executable butcherTableau
-  main-is:             ButcherTableau.hs
-  build-depends:       base >=4.10 && <4.11,
-                       hmatrix,
-                       hmatrix-sundials,
-                       pretty
-  default-language:    Haskell2010
-
 executable vectorShow
   main-is:             VectorShow.hs
   build-depends:       base >=4.10 && <4.11,

diff --git a/packages/base/hmatrix.cabal b/packages/base/hmatrix.cabal
@@ -1,5 +1,5 @@
 Name:               hmatrix
-Version:            0.19.0.0
+Version:            0.20.0.0
 License:            BSD3
 License-file:       LICENSE
 Author:             Alberto Ruiz
@@ -38,7 +38,7 @@ flag disable-default-paths
 
 library
 
-    Build-Depends:      base >= 4.8 && < 5,
+    Build-Depends:      base >= 4.9 && < 5,
                         binary,
                         array,
                         deepseq,

diff --git a/packages/base/src/Numeric/LinearAlgebra/Static.hs b/packages/base/src/Numeric/LinearAlgebra/Static.hs
@@ -92,7 +92,7 @@ ud1 (R (Dim v)) = v
 
 
 infixl 4 &
-(&) :: forall n . (KnownNat n, 1 <= n)
+(&) :: forall n . KnownNat n
     => R n -> ℝ -> R (n+1)
 u & x = u # (konst x :: R 1)
 

diff --git a/packages/base/stack.yaml b/packages/base/stack.yaml
@@ -4,4 +4,5 @@ flags:
 packages:
 - '.'
 extra-deps: []
-resolver: lts-3.3
+resolver: lts-13.21
+
diff --git a/packages/sundials/ChangeLog.md b/packages/sundials/ChangeLog.md
diff --git a/packages/sundials/LICENSE b/packages/sundials/LICENSE
diff --git a/packages/sundials/README.md b/packages/sundials/README.md
diff --git a/packages/sundials/Setup.hs b/packages/sundials/Setup.hs
diff --git a/packages/sundials/diagrams/brusselator.png b/packages/sundials/diagrams/brusselator.png
diff --git a/packages/sundials/hmatrix-sundials.cabal b/packages/sundials/hmatrix-sundials.cabal
diff --git a/packages/sundials/src/Main.hs b/packages/sundials/src/Main.hs