From a3bfd10912dd72f1da438cd9006600aab7017013 Mon Sep 17 00:00:00 2001
From: koen <koenwermer@gmail.com>
Date: Thu, 24 Nov 2016 06:24:10 +0100
Subject: [PATCH] some tiny changes
---
Main.hs | 8 --------
WLP.hs | 2 +-
2 files changed, 1 insertion(+), 9 deletions(-)
diff --git a/Main.hs b/Main.hs
index 4159f73..7ce307a 100644
--- a/Main.hs
+++ b/Main.hs
@@ -15,16 +15,8 @@ main :: IO ()
main = do
source <- readFile ("Tests\\" ++ testFile ++ ".java")
-
let result = parser compilationUnit source
-
- putStrLn "-----Code-----"
- case result of
- Left error -> print error
- Right compUnit -> print compUnit --(getStmt compUnit)
-
-
case result of
Left error -> print error
Right compUnit -> do
diff --git a/WLP.hs b/WLP.hs
index 8c16a29..ecd505d 100644
--- a/WLP.hs
+++ b/WLP.hs
@@ -86,7 +86,7 @@ wlpStmtAlgebra = (fStmtBlock, fIfThen, fIfThenElse, fWhile, fBasicFor, fEnhanced
--inv = true -- for simplicity, "True" is used as an invariant for now
inv = case parser Language.Java.Parser.exp invariant of
Right e -> e
- _ -> error "syntax error in post-condition"
+ _ -> error "syntax error in invariant"
-- Converts initialization code of a for loop to a statement
--
GitLab