liquidhaskell 0.5.0.0 → 0.5.0.1

raw patch · 3 files changed

+5/−5 lines, 3 filesdep ~ghcdep ~liquid-fixpoint

Dependency ranges changed: ghc, liquid-fixpoint

Files

• include/710/Data/Traversable.spec +1/−1
• liquidhaskell.cabal +2/−2
• tests/test.hs +2/−2

@@ -1,3 +1,3 @@ module spec Data.Traversable where -Data.Traversable.sequence :: Data.Traversable.Traversable t => GHC.Base.Monad m => xs:t (m a) -> m (t {v:[a] | (len v) = (len xs)})+Data.Traversable.sequence :: Data.Traversable.Traversable t => forall m a. GHC.Base.Monad m => xs:t (m a) -> m ({v:t a | len v = len xs})

@@ -1,5 +1,5 @@ Name:                liquidhaskell-Version:             0.5.0.0+Version:             0.5.0.1 Copyright:           2010-15 Ranjit Jhala, University of California, San Diego. build-type:          Simple Synopsis:            Liquid Types for Haskell @@ -157,7 +157,7 @@                 , vector                 , hashable                 , unordered-containers-                , liquid-fixpoint >= 0.3+                , liquid-fixpoint >= 0.4                 , aeson                 , bytestring                 , fingertree

@@ -277,12 +277,12 @@    return $ \_elapsedTime -> do     -- get some semblance of a hostname-    host <- takeWhile (/='.') <$> readProcess "hostname" [] []+    host <- takeWhile (/='.') . takeWhile (not . isSpace) <$> readProcess "hostname" [] []     -- don't use the `time` package, major api differences between ghc 708 and 710     time <- head . lines <$> readProcess "date" ["+%Y-%m-%dT%H-%M-%S"] []     let dir = "tests" </> "logs" </> host ++ "-" ++ time     let path = dir </> "summary.csv"-    renameDirectory "tests/logs/cur" dir+    system $ "cp -r tests/logs/cur " ++ dir     writeFile path $ unlines                    $ "test, time(s), result"                    : map (\(n, t, r) -> printf "%s, %0.4f, %s" n t (show r)) summary