summaryrefslogtreecommitdiff
path: root/Test
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2012-09-22 20:06:24 +1000
committerJed Barber <jjbarber@y7mail.com>2012-09-22 20:06:24 +1000
commiteebc6a7216895d8e4d6ad38af09cd295099a256c (patch)
tree9d48383cf7bd97a59a96cfb87a12c2d6354777ac /Test
parent814d1f9bae352d52a8aec40a8e0d864b222d8c84 (diff)
Added standard AbsTerm and AppTerm datatypes
Diffstat (limited to 'Test')
-rw-r--r--Test/DataTypes.hs11
1 files changed, 10 insertions, 1 deletions
diff --git a/Test/DataTypes.hs b/Test/DataTypes.hs
index d0fbfde..28db135 100644
--- a/Test/DataTypes.hs
+++ b/Test/DataTypes.hs
@@ -10,7 +10,9 @@ module Test.DataTypes(
stdVar,
stdVarTerm,
altVar,
- altVarTerm
+ altVarTerm,
+ stdAbsTerm,
+ stdAppTerm
) where
@@ -56,4 +58,11 @@ altVar s = Var (stdName s) altTypeVar
altVarTerm :: String -> Term
altVarTerm s = TVar (altVar s)
+stdAbsTerm :: String -> Term
+stdAbsTerm s = TAbs (stdVarTerm s) stdConstTerm
+
+stdAppTerm :: String -> Term
+stdAppTerm s = TApp (stdAbsTerm s) stdConstTerm
+
+