add recent LTS versions to CI

.travis.yml

@@ -13,12 +13,11 @@ addons:
 # The different configurations we want to test. You could also do things like
 # change flags or use --stack-yaml to point to a different file.
 env:
-# - ARGS=""
-# - ARGS="--resolver lts-5"
-# - ARGS="--resolver lts-6"
 - ARGS="--resolver lts-7"
 - ARGS="--resolver lts-8"
-- ARGS="--resolver lts-9"
+- ARGS="--resolver lts-9.21" # 8.0.2
+- ARGS="--resolver lts-12.14" # 8.4.3
+- ARGS="--resolver lts-12.26" # 8.4.4
 - ARGS="--resolver lts"
 - ARGS="--resolver nightly"
 
@@ -36,4 +35,4 @@ script: stack $ARGS --no-terminal --install-ghc test --haddock
 # Caching so the next build will be fast too.
 cache:
   directories:
-  - $HOME/.stack
+  - $HOME/.stack

src/Data/Dim.hs

@@ -12,12 +12,6 @@ This module contains types and construction/access functions for tensor dimensio
 Note : no rank or dimensionality information is known at compile time, that is, size mismatch errors will have to be raised at runtime.
 -}
 module Data.Dim (
-  -- * Variance annotation
-  --   Variance(..), V(..), co, contra
-  -- -- , coIx, contraIx
-  -- -- -- ** Convenience constructors
-  -- -- -- , mkVarVector, mkVarCoVector, mkVarMatrix    
-  -- , empty, insert, rekey
   -- * Dimension metadata  
     DimE(..), dimE, denseDimE, sparseDimE
   , Dd(..), Sd(..)

stack.yaml

@@ -1,25 +1,5 @@
-# resolver: lts-9.21
-# resolver: lts-10.7
-resolver: lts-12.11
+resolver: lts-12.14
 
-# User packages to be built.
-# Various formats can be used as shown in the example below.
-#
-# packages:
-# - some-directory
-# - https://example.com/foo/bar/baz-0.0.2.tar.gz
-# - location:
-#    git: https://github.com/commercialhaskell/stack.git
-#    commit: e7b331f14bcffb8367cd58fbfc8b40ec7642100a
-# - location: https://github.com/commercialhaskell/stack/commit/e7b331f14bcffb8367cd58fbfc8b40ec7642100a
-#   extra-dep: true
-#  subdirs:
-#  - auto-update
-#  - wai
-#
-# A package marked 'extra-dep: true' will only be built if demanded by a
-# non-dependency (i.e. a user package), and its test suites and benchmarks
-# will not be run. This is useful for tweaking upstream packages.
 packages:
 - .
 # Dependency packages to be pulled from upstream that are not in the resolver