add unit tests for all Frege modules

otherwise gradle build will fail due to Frege/frege-gradle-plugin#39

cspmparser/CSPM-Frontend/src/test/frege/Language/CSPM/UnicodeSymbolsTest.fr

@@ -0,0 +1,10 @@
+module Language.CSPM.UnicodeSymbolsTest
+where
+
+import Test.QuickCheck
+
+import Data.Maybe
+import Language.CSPM.UnicodeSymbols
+
+test :: Property
+test = once $ lookupDefaultSymbol (fromJust $ lookupToken '⟷') == Just ('⟷', "<->")

cspmparser/CSPM-ToProlog/src/test/frege/Language/CSPM/VersionTest.fr

@@ -0,0 +1,10 @@
+module Language.CSPM.VersionTest
+where
+
+import Test.QuickCheck
+
+import Language.CSPM.TranslateToProlog
+import Data.Version
+
+test :: Property
+test = once $ showVersion toPrologVersion == "0.6.1.1"

cspmparser/CSPM-cspm-frontend-java/build.gradle

@@ -1,7 +1,4 @@
-plugins {
-    id "org.frege-lang" version "0.8"
-}
-
+apply plugin: 'java'
 apply plugin: 'maven-publish'
 apply plugin: 'application'
 

cspmparser/CSPM-cspm-frontend/src/test/frege/Main/VersionTest.fr

@@ -0,0 +1,11 @@
+module Main.ExecCommandTest
+
+where
+
+import Test.QuickCheck
+
+import Main.ExecCommand
+import Data.Version
+
+test :: Property
+test = once $ showVersion cmdVersion == "0.1.0.0"

cspmparser/Data/src/test/frege/Data/SetTest.fr

@@ -0,0 +1,8 @@
+package frege.data.SetTest where
+
+import Test.QuickCheck
+
+import frege.data.Set
+
+singletonTest :: Property
+singletonTest = once $ insert 1 empty == singleton 1

cspmparser/Parsec/src/test/frege/Text/ParserCombinators/Parsec/ParsecTest.fr

@@ -0,0 +1,22 @@
+module Text.ParserCombinators.Parsec.ParsecText where
+
+import Test.QuickCheck
+
+import Text.ParserCombinators.Parsec.Parsec
+import Text.ParserCombinators.Parsec.Token
+import Text.ParserCombinators.Parsec.Language
+
+csvLine :: Parser [String]
+csvLine = csvCell `sepBy` (haskell.comma)
+
+csvCell :: Parser String
+csvCell = do
+    cell <- many $ noneOf ",\n"
+    return $ packed cell
+
+parseCsvLine :: String -> Either ParseError [String]
+parseCsvLine str = parse csvLine "" (unpacked str)
+
+test :: Property
+test = let Right result = parseCsvLine "Foo,Bar" in
+        once $ result == ["Foo", "Bar"]

cspmparser/PrettyPrint/src/test/frege/dummy.fr

@@ -0,0 +1,5 @@
+module Text where
+
+import Test.QuickCheck
+
+-- only here so that gradle build does not fail (https://github.com/Frege/frege-gradle-plugin/issues/39)

cspmparser/State/src/test/frege/Control/Monad/StateTest.fr

@@ -0,0 +1,8 @@
+module Text.XML.Light.Test where
+
+import Test.QuickCheck
+
+import frege.control.monad.MState
+
+simpleTest :: Property
+simpleTest = once $ runState (return 'X') 1 == ('X', 1)

cspmparser/XmlLight/src/test/frege/dummy.fr

@@ -0,0 +1,5 @@
+module Text.XML.Light.Test where
+
+import Test.QuickCheck
+
+-- only here so that gradle build does not fail (https://github.com/Frege/frege-gradle-plugin/issues/39)