Commit 40b25c03 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Front end updated

parent cb5a6692
curry-frontend @ d02680b0
Subproject commit 27b59ad4f904db92b6b2fb1e23901408d0dd0a49
Subproject commit d02680b07b59cc0164d2789e230bb929f4aa72f3
......@@ -30,7 +30,11 @@ readAndTestEqualFcy mod = do
prog2 <- readFlatCurryStrict mod
removeFile modcurry
renameFile modbak modcurry
return (prog1 == prog2)
let flatequal = prog1 == prog2
unless flatequal $ do
putStrLn ("Original flat program: " ++ show prog1)
putStrLn ("Pretty printed flat program: " ++ show prog2)
return flatequal
-- Strictly read a FlatCurry program in order to avoid race conditions
-- due to copying/moving source files:
......@@ -41,6 +45,9 @@ readFlatCurryStrict mod = do
test1 = assertIO "AbstractCurry.Pretty test for rev"
(readAndTestEqualFcy "rev") True
test2 = assertIO "AbstractCurry.Pretty test for testSetFunctions"
(readAndTestEqualFcy "testSetFunctions") True
test2 = assertIO "AbstractCurry.Pretty test for testFuncPattern"
(readAndTestEqualFcy "testFuncPattern") True
--test3 = assertIO "AbstractCurry.Pretty test for testFuncPattern"
-- (readAndTestEqualFcy "testFuncPattern") True
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment