liquidhaskell 0.4.1.0 → 0.4.1.1

raw patch · 2 files changed

+5/−2 lines, 2 files

Files

• liquidhaskell.cabal +1/−1
• src/Language/Haskell/Liquid/Bare/GhcSpec.hs +4/−1

@@ -1,5 +1,5 @@ Name:                liquidhaskell-Version:             0.4.1.0+Version:             0.4.1.1 Copyright:           2010-15 Ranjit Jhala, University of California, San Diego. build-type:          Simple Synopsis:            Liquid Types for Haskell 

@@ -157,7 +157,10 @@ makeGhcSpec2 invs ialias measures su sp   = return $ sp { invariants = subst su invs                 , ialiases   = subst su ialias-                , measures   = subst su <$> M.elems $ Ms.measMap measures }+                , measures   = subst su+                                 <$> M.elems (Ms.measMap measures)+                                  ++ Ms.imeas measures+                }  makeGhcSpec3 datacons tycons embs syms sp   = do tcEnv       <- gets tcEnv