aboutsummaryrefslogtreecommitdiff
path: root/html-test/tests/QuasiExpr.hs
diff options
context:
space:
mode:
authorSimon Hengel <sol@typeful.net>2012-10-15 10:34:28 +0200
committerSimon Hengel <sol@typeful.net>2012-10-15 15:46:18 +0200
commit958d64d77572c47d249965d7146ac17a23de806d (patch)
treeb3cf49a9c6202b50d618df9270e24d28f5ecae50 /html-test/tests/QuasiExpr.hs
parent943c5b7880cbfa8c90a0776dd539ae1e89f46d35 (diff)
Move HTML tests to directory /html-test/
Diffstat (limited to 'html-test/tests/QuasiExpr.hs')
-rw-r--r--html-test/tests/QuasiExpr.hs34
1 files changed, 34 insertions, 0 deletions
diff --git a/html-test/tests/QuasiExpr.hs b/html-test/tests/QuasiExpr.hs
new file mode 100644
index 00000000..970759ba
--- /dev/null
+++ b/html-test/tests/QuasiExpr.hs
@@ -0,0 +1,34 @@
+{-# LANGUAGE TemplateHaskell #-}
+
+-- Used by QuasiQuote. Example taken from the GHC documentation.
+module QuasiExpr where
+
+import Language.Haskell.TH
+import Language.Haskell.TH.Quote
+
+data Expr = IntExpr Integer
+ | AntiIntExpr String
+ | BinopExpr BinOp Expr Expr
+ | AntiExpr String
+ deriving Show
+
+data BinOp = AddOp
+ | SubOp
+ | MulOp
+ | DivOp
+ deriving Show
+
+eval :: Expr -> Integer
+eval (IntExpr n) = n
+eval (BinopExpr op x y) = (opToFun op) (eval x) (eval y)
+ where
+ opToFun AddOp = (+)
+ opToFun SubOp = (-)
+ opToFun MulOp = (*)
+ opToFun DivOp = div
+
+expr = QuasiQuoter parseExprExp undefined undefined undefined
+
+-- cheating...
+parseExprExp :: String -> Q Exp
+parseExprExp _ = [| BinopExpr AddOp (IntExpr 1) (IntExpr 2) |]