Merge branch 'master' into upd-HNix-store-0.2

hnix.cabal

@@ -860,7 +860,6 @@ library
     , contravariant >= 1.5 && < 1.6
     , data-fix >= 0.2.0 && <  0.3
     , deepseq >=1.4.3 && <1.5
-    , dependent-sum >= 0.4 && < 0.5 || >= 0.6.2.0 && < 0.8
     , deriving-compat >=0.3 && <0.6
     , directory >= 1.3.1 && < 1.4
     , exceptions >= 0.10.0 && < 0.11
@@ -891,6 +890,7 @@ library
     , semialign >= 1 && < 1.2
     , semialign-indexed >= 1 && < 1.2
     , semigroups >=0.18 && <0.19 || >= 0.19.1 && < 0.20
+    , some >= 1.0.1 && < 1.1
     , split >= 0.2.3 && < 0.3
     , syb >= 0.7 && < 0.8
     , template-haskell
@@ -995,7 +995,6 @@ test-suite hnix-tests
     , cryptohash-sha512
     , data-fix
     , deepseq >=1.4.3 && <1.5
-    , dependent-sum
     , directory
     , exceptions
     , filepath

main/Repl.hs

@@ -53,7 +53,7 @@ import           Control.Monad.Reader
 import           Control.Monad.State.Strict
 
 import           System.Console.Haskeline.MonadException
-import           System.Console.Repline
+import           System.Console.Repline        hiding ( options )
 import           System.Environment
 import           System.Exit
 

src/Nix/Var.hs

@@ -12,6 +12,7 @@ import           Data.GADT.Compare
 import           Data.IORef
 import           Data.Maybe
 import           Data.STRef
+import           Type.Reflection ((:~:)(Refl))
 
 import           Unsafe.Coerce