acl2 0.0.0 → 0.0.1

raw patch · 2 files changed

+5/−13 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

Files

• Language/ACL2.hs +4/−12
• acl2.cabal +1/−1

@@ -85,17 +85,12 @@   Obj     a   -> SA $ map sExpr a   Lit     a   -> SV a -check'' :: Bool -> [Expr] -> IO Bool-check'' debug a = do+check' :: [Expr] -> IO (Bool, String)+check' a = do   exe <- savedACL2   (_, result, _) <- readProcessWithExitCode exe [] code   let pass = not $ any (isPrefixOf "ACL2 Error") $ lines result-  if debug-    then do-      putStrLn code-      putStrLn result-    else return ()-  return pass+  return (pass, result)   where   code = unlines $ map show a   savedACL2 :: IO FilePath@@ -106,10 +101,7 @@       Just a -> return $ a ++ "/saved_acl2"  check :: [Expr] -> IO Bool-check = check'' False--check' :: [Expr] -> IO Bool-check' = check'' True+check a = check' a >>= return . fst  uni :: String -> Expr -> Expr uni f a = call f [a]

@@ -1,5 +1,5 @@ name:    acl2-version: 0.0.0+version: 0.0.1  category: Language, Formal Methods