Commit 2cb3cfdb authored by Michael Hanus 's avatar Michael Hanus
Browse files

test suite adapted to new FlatCurry libs

parent 0f8c61a7
currytools @ 3dbae13b
Subproject commit f522b1ba9f5249a05e1a5e71cd03bfc07d09591f
Subproject commit 3dbae13b71b034c81e5cffbeef1d2b5a94a875f2
......@@ -11,7 +11,8 @@
import AbstractCurry.Files
import AbstractCurry.Pretty
import Directory
import FlatCurry
import FlatCurry.Types
import FlatCurry.Files
import Assertion
--- Test for equality of a FlatCurry program with the same program
......
......@@ -13,7 +13,7 @@ import System(system)
-- Generate XML conversions:
testInitialize = assertIO "initialize" init 0
where init = do system (installDir++"/bin/data2xml Prelude")
system (installDir++"/bin/data2xml FlatCurry")
system (installDir++"/bin/data2xml FlatCurry.Types")
test1 = assertIO "test XML data conversion" convert 0
where
......@@ -25,8 +25,8 @@ testFinalize = assertIO "finalize" clean 0
where
clean = do
system (installDir++"/bin/cleancurry PreludeDataToXml")
system (installDir++"/bin/cleancurry FlatCurryDataToXml")
system (installDir++"/bin/cleancurry FlatCurry_TypesDataToXml")
system (installDir++"/bin/cleancurry testData2XmlProg")
system "/bin/rm -f PreludeDataToXml.curry FlatCurryDataToXml.curry"
system "/bin/rm -f PreludeDataToXml.curry FlatCurry_TypesDataToXml.curry"
......@@ -5,8 +5,8 @@
-- > data2xml FlatCurry
-- > <REPL> :load testData2XmlProg :eval main :quit
import FlatCurry
import FlatCurryDataToXml
import FlatCurry.Files
import FlatCurry_TypesDataToXml
import XML
import System
......
......@@ -6,8 +6,9 @@
--- @author Sebastian Fischer
--- @version December 2005
import FlatCurry
import FlatCurryGoodies
import FlatCurry.Types
import FlatCurry.Files
import FlatCurry.Goodies
import Assertion
test = assertIO "identity transformation" identity True
......
......@@ -8,8 +8,8 @@
--- @version April 2005
------------------------------------------------------------------------------
import FlatCurry
import FlatCurryXML
import FlatCurry.Files
import FlatCurry.XML
import XML
import Assertion
......
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