From 89afef9daeb6da6624d42d32813d86c1f9b9f0c3 Mon Sep 17 00:00:00 2001 From: romes Date: Mon, 25 Apr 2022 19:52:22 +0200 Subject: TTG: Match new GHC AST --- .../ref/src/TemplateHaskellQuasiquotes.html | 372 ++++++++++++++++++--- hypsrc-test/ref/src/TemplateHaskellSplices.html | 114 ++++++- 2 files changed, 437 insertions(+), 49 deletions(-) (limited to 'hypsrc-test/ref/src') diff --git a/hypsrc-test/ref/src/TemplateHaskellQuasiquotes.html b/hypsrc-test/ref/src/TemplateHaskellQuasiquotes.html index 9c06e8e0..afa30574 100644 --- a/hypsrc-test/ref/src/TemplateHaskellQuasiquotes.html +++ b/hypsrc-test/ref/src/TemplateHaskellQuasiquotes.html @@ -110,8 +110,12 @@ > barbar $aTypeTypeQ +aType (IntInt, StringString) barbar $aPatternPatQ +aPattern $anExpressionExpQ +anExpression [ aCrazyLongVariableNameaCrazyLongVariableName , _unused_unused (yy, zz) $aNumberPatternPatQ +aNumberPattern, "hello""hello") ww@vv@4.54.5 (11 ++ $anExpression2ExpQ +anExpression2, "world""world") (11 ++ roundround pipi) (DoubleDouble, StringString)typedExpr1 :: Code Q () typedExpr1 :: Code Q () +typedExpr1 = [|| () ||] +typedExpr :: Code Q () +typedExpr :: Code Q () +typedExpr = [|| a -> b -> a +forall a b. a -> b -> a +const $$(Code Q () +typedExpr1) () ||] + + + +$(anExpression2anExpression2) +pat :: [(a, String)] -> () +pat $(aPattern) = () + +qux :: () +qux = () -> () +forall a. a -> a +id $$(typedExpr) +