diff options
| -rw-r--r-- | Compare.hs | 18 | ||||
| -rw-r--r-- | makefile | 6 |
2 files changed, 23 insertions, 1 deletions
diff --git a/Compare.hs b/Compare.hs new file mode 100644 index 0000000..4d9ab6d --- /dev/null +++ b/Compare.hs @@ -0,0 +1,18 @@ +import System.Environment( getArgs ) +import Text.Printf +import Library.Parse +import Library.Semantic +import Library.Stack + + + +main = do + args <- getArgs + listA <- getLines (args!!0) + listB <- getLines (args!!1) + let resultA = eval (map (stripReturn) listA) + resultB = eval (map (stripReturn) listB) + output = if (resultA == resultB) + then "Articles identical\n" + else "Differences detected\n" + printf output @@ -3,7 +3,7 @@ OUTPUTDIR = ./bin -all: semantic syntactic proofgraph writeproof delete concat listthm meaningsubst unittest +all: semantic syntactic proofgraph writeproof delete concat listthm meaningsubst unittest compare clean: find . -name '*.hi' -delete @@ -36,3 +36,7 @@ meaningsubst: unittest: ghc --make ./Test.hs -o ${OUTPUTDIR}/UnitTest + +compare: + ghc --make ./Compare.hs -o ${OUTPUTDIR}/Compare + |