Merge pull request kadena-io#145 from kadena-io/analyze

Improved analysis error messages, prop typechecking; generalized row-level props

Author: Stuart Popejoy

default.nix

@@ -49,12 +49,12 @@ in
             hlint = self.callHackage "hlint" "2.0.14" {};
             hoogle = self.callHackage "hoogle" "5.0.15" {};
 
-            # sbv >= 7.6
+            # sbv >= 7.9
             sbv = pkgs.haskell.lib.dontCheck (self.callCabal2nix "sbv" (pkgs.fetchFromGitHub {
               owner = "LeventErkok";
               repo = "sbv";
-              rev = "dbbdd396d069dc8235f5c8cf58209886318f6525";
-              sha256 = "0s607qbgiykgqv2b5sxcvzqpj1alxzqw6szcjzhs4hxcbbwkd60y";
+              rev = "3dc60340634c82f39f6c5dca2b3859d10925cfdf";
+              sha256 = "18xcxg1h19zx6gdzk3dfs87447k3xjqn40raghjz53bg5k8cdc31";
             }) {});
 
             # Most recent github commit.  Might also work with 0.14.0.2

pact.cabal

@@ -57,12 +57,15 @@ library
     exposed-modules:
       Pact.Analyze.Analyze
       Pact.Analyze.Check
+      Pact.Analyze.LegacySFunArray
+      Pact.Analyze.Orphans
       Pact.Analyze.Parse
       Pact.Analyze.Patterns
       Pact.Analyze.PrenexNormalize
       Pact.Analyze.Term
       Pact.Analyze.Translate
       Pact.Analyze.Types
+      Pact.Analyze.Util
       Pact.ApiReq
       Pact.Bench
       Pact.Docgen
@@ -122,7 +125,6 @@ library
                      , utf8-string >= 1.0.1.1 && < 1.1
                      , vector >= 0.11.0.0 && < 0.13
                      , vector-space >= 0.10.4 && < 0.14
-                     , monad-gen
                      , mmorph >= 1.0 && < 1.1
 
   if !impl(ghcjs)
@@ -136,7 +138,7 @@ library
       , fast-logger
       , haskeline >= 0.7.3 && < 0.8
       , safe-exceptions >= 0.1.5.0 && < 0.2
-      , sbv >= 7.6.5 && < 7.7
+      , sbv >= 7.9 && < 7.10
       , snap-core
       , snap-server
       , statistics >= 0.13.3 && < 0.15