From cdf4445a877428f5969f712a95830af38029b9a0 Mon Sep 17 00:00:00 2001
From: Alec Theriault <alec.theriault@gmail.com>
Date: Mon, 7 Oct 2019 20:45:40 -0400
Subject: Add Hyperlinker test cases for TH-related stuff

Hopefully this will guard against regressions around quasiquotes, TH
quotes, and TH splices.
---
 hypsrc-test/src/TemplateHaskellQuasiquotes.hs | 39 +++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 hypsrc-test/src/TemplateHaskellQuasiquotes.hs

(limited to 'hypsrc-test/src/TemplateHaskellQuasiquotes.hs')

diff --git a/hypsrc-test/src/TemplateHaskellQuasiquotes.hs b/hypsrc-test/src/TemplateHaskellQuasiquotes.hs
new file mode 100644
index 00000000..a1661895
--- /dev/null
+++ b/hypsrc-test/src/TemplateHaskellQuasiquotes.hs
@@ -0,0 +1,39 @@
+{-# LANGUAGE TemplateHaskell #-}
+
+module TemplateHaskellQuasiquotes where
+
+import Language.Haskell.TH
+
+aDecl :: DecsQ
+aDecl = [d|
+    bar :: $aType -> [ (Int, String) ]
+    bar $aPattern = $anExpression
+  |]
+
+aPattern :: PatQ
+aPattern = [p|
+    [ aCrazyLongVariableName
+    , _unused
+    , (y, z)
+    , ( $aNumberPattern, "hello")
+    ]
+  |]
+
+aNumberPattern :: PatQ
+aNumberPattern = [p|
+    w @ v @ 4.5
+  |]
+
+anExpression, anExpression2 :: ExpQ
+anExpression = [e|
+    [ (1 + $anExpression2, "world") ]
+  |]
+anExpression2 = [| (1 + round pi) |]
+
+aType :: TypeQ
+aType = [t|
+    [ (Double, String) ]
+  |]
+
+
+
-- 
cgit v1.2.3