diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2019-10-07 20:45:40 -0400 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2019-10-07 20:56:48 -0400 |
commit | cdf4445a877428f5969f712a95830af38029b9a0 (patch) | |
tree | b7b1dbe0a7410b1eec3176fe2904c0c25ee3cdd3 /hypsrc-test/src/TemplateHaskellQuasiquotes.hs | |
parent | 80b8a8a2525d4e4c60b7c9439a23ac47d9612802 (diff) |
Add Hyperlinker test cases for TH-related stuff
Hopefully this will guard against regressions around quasiquotes, TH
quotes, and TH splices.
Diffstat (limited to 'hypsrc-test/src/TemplateHaskellQuasiquotes.hs')
-rw-r--r-- | hypsrc-test/src/TemplateHaskellQuasiquotes.hs | 39 |
1 files changed, 39 insertions, 0 deletions
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) ] + |] + + + |