lambdabot-haskell-plugins 5.1.0.2 → 5.1.0.3

raw patch · 5 files changed

+12/−2 lines, 5 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• lambdabot-haskell-plugins.cabal +1/−1
• src/Lambdabot/Plugin/Haskell/Eval.hs +6/−1
• src/Lambdabot/Plugin/Haskell/Free/Expr.hs +2/−0
• src/Lambdabot/Plugin/Haskell/Free/Theorem.hs +2/−0
• src/Lambdabot/Plugin/Haskell/Free/Type.hs +1/−0

@@ -1,5 +1,5 @@ name:                   lambdabot-haskell-plugins-version:                5.1.0.2+version:                5.1.0.3  license:                GPL license-file:           LICENSE

@@ -141,6 +141,11 @@         trusted = Hs.name "Trustworthy"         langs = concat [ ls | Hs.LanguagePragma ls <- pragmas ] +moveFile :: FilePath -> FilePath -> IO ()+moveFile from to = do+  copyFile from to+  removeFile from+ -- It parses. then add it to a temporary L.hs and typecheck comp :: MonadLB m => Hs.Module -> m String comp src = do@@ -167,7 +172,7 @@                     return "Error."                 | otherwise -> do                     l <- lb (findLBFileForWriting "L.hs")-                    io (renameFile ".L.hs" l)+                    io (moveFile ".L.hs" l)                     return "Defined."         (ee,[]) -> return ee         (_ ,ee) -> return ee

@@ -5,6 +5,8 @@ import Lambdabot.Plugin.Haskell.Free.Type import Lambdabot.Plugin.Haskell.Free.Util +import Prelude hiding ((<>))+ varInExpr :: Var -> Expr -> Bool varInExpr v (EBuiltin _)     = False

@@ -6,6 +6,8 @@ import Lambdabot.Plugin.Haskell.Free.Expr import Lambdabot.Plugin.Haskell.Free.Util +import Prelude hiding ((<>))+ data Theorem     = ThForall Var Type Theorem     | ThImplies Theorem Theorem

@@ -6,6 +6,7 @@ import Lambdabot.Plugin.Haskell.Free.Parse import Data.List import Lambdabot.Plugin.Haskell.Free.Util+import Prelude hiding ((<>))  type TyVar = String type TyName = String