liquidhaskell 0.4.0.0 → 0.4.0.1

raw patch · 3 files changed

+5/−8 lines, 3 files

Files

• liquidhaskell.cabal +3/−3
• src/Language/Haskell/Liquid/Bare/Resolve.hs +1/−1
• src/Language/Haskell/Liquid/DiffCheck.hs +1/−4

@@ -1,5 +1,5 @@ Name:                liquidhaskell-Version:             0.4.0.0+Version:             0.4.0.1 Copyright:           2010-15 Ranjit Jhala, University of California, San Diego. build-type:          Simple Synopsis:            Liquid Types for Haskell @@ -83,7 +83,7 @@                , liquidhaskell    Main-is: Liquid.hs---  ghc-options: -W+  ghc-options: -W --  if flag(devel) --    ghc-options: -Werror   Default-Extensions: PatternGuards@@ -237,7 +237,7 @@                     Language.Haskell.Liquid.Desugar.DsBinds,                     Language.Haskell.Liquid.Desugar.DsGRHSs,                     Language.Haskell.Liquid.Desugar.HscMain---   ghc-options: -W+   ghc-options: -W --   if flag(devel) --     ghc-options: -Werror --   ghc-prof-options: -fprof-auto

@@ -61,7 +61,7 @@     | otherwise     = do env <- gets (typeAliases . rtEnv)          case M.lookup s env of-           Nothing | isCon s -> do v <- lookupGhcVar ls -- $ Loc l s+           Nothing | isCon s -> do v <- lookupGhcVar ls                                    let qs = symbol v                                    addSym (qs, v)                                    return $ Loc l l' qs

@@ -181,10 +181,7 @@   txClosure :: Deps -> S.HashSet Var -> S.HashSet Var -> S.HashSet Var-txClosure d sigs xs = -- tracePpr "INCCHECK: tx changed vars" $-                      go S.empty -- $-                      -- tracePpr "INCCHECK: seed changed vars" $-                      xs+txClosure d sigs xs = go S.empty xs   where     next           = S.unions . fmap deps . S.toList     deps x         = M.lookupDefault S.empty x d