From 84f2ee4a7653b47c4ddefd87c4482729d0272e6b Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Fri, 14 Sep 2012 07:41:49 +1000
Subject: Testing package

---
 Test/DataTypes.hs | 59 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 59 insertions(+)
 create mode 100644 Test/DataTypes.hs

(limited to 'Test')

diff --git a/Test/DataTypes.hs b/Test/DataTypes.hs
new file mode 100644
index 0000000..d0fbfde
--- /dev/null
+++ b/Test/DataTypes.hs
@@ -0,0 +1,59 @@
+module Test.DataTypes(
+    stdName,
+    stdType,
+    stdConst,
+    stdConstTerm,
+    stdTypeVarName,
+    altTypeVarName,
+    stdTypeVar,
+    altTypeVar,
+    stdVar,
+    stdVarTerm,
+    altVar,
+    altVarTerm
+    ) where
+
+
+
+import Library.TypeVar
+import Library.Term
+
+
+
+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)
+
+
-- 
cgit