From 84f2ee4a7653b47c4ddefd87c4482729d0272e6b Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Fri, 14 Sep 2012 07:41:49 +1000 Subject: Testing package --- Test.hs | 42 ++---------------------------------------- 1 file changed, 2 insertions(+), 40 deletions(-) (limited to 'Test.hs') diff --git a/Test.hs b/Test.hs index 040bb87..835bd89 100644 --- a/Test.hs +++ b/Test.hs @@ -2,50 +2,12 @@ import Test.HUnit import Library.Command import Library.TypeVar import Library.Term -import LibraryTheorem +import Library.Theorem +import Test.DataTypes import qualified Data.Set as Set -stdName :: String -> Name -stdName s = Name [] s - -stdType :: Type -stdType = AType [] (TypeOp (stdName "atype")) - -stdConst :: Const -stdConst = Const (stdName "const") - -stdConstTerm :: Term -stdConstTerm = TConst stdConst stdType - -stdTypeVarName :: Name -stdTypeVarName = stdName "typevar" - -altTypeVarName :: Name -altTypeVarName = stdName "alttypevar" - -stdTypeVar :: Type -stdTypeVar = TypeVar stdTypeVarName - -altTypeVar :: Type -altTypeVar = TypeVar altTypeVarName - -stdVar :: String -> Var -stdVar s = Var (stdName s) stdTypeVar - -stdVarTerm :: String -> Term -stdVarTerm s = TVar (stdVar s) - -altVar :: String -> Var -altVar s = Var (stdName s) altTypeVar - -altVarTerm :: String -> Term -altVarTerm s = TVar (altVar s) - - - - name1 = TestCase (assertEqual "for (name \"abc\")" (Just (Name [] "abc")) (name "\"abc\"")) -- cgit