@@ -3,12 +3,12 @@ module Main where
3import Test.Framework
3import Test.Framework
5import Test.Compiler
5import Test.Compiler
6−import Test.Property
6+--import Test.Property
9−main :: IO ()
9+main :: IO ()
11 defaultMain
11 defaultMain
12 [ compilerTests
12 [ compilerTests
13− , propertyTests
13+-- , propertyTests