diff options
| author | Oleg Grenrus <oleg.grenrus@iki.fi> | 2023-03-27 20:55:15 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-04-12 12:32:57 -0400 |
| commit | ebd8918b7c50ae51921664e24fac0de4376ffcf9 (patch) | |
| tree | 39f7112ed74735163f2208abe7e491bdbdaad757 /testsuite/tests/th/TH_typed1.stdout | |
| parent | ecf22da3c6d992d76fbb8e970b4ffbabb445d38a (diff) | |
| download | haskell-ebd8918b7c50ae51921664e24fac0de4376ffcf9.tar.gz | |
Allow generation of TTH syntax with TH
In other words allow generation of typed splices and brackets with
Untyped Template Haskell.
That is useful in cases where a library is build with TTH in mind,
but we still want to generate some auxiliary declarations,
where TTH cannot help us, but untyped TH can.
Such example is e.g. `staged-sop` which works with TTH,
but we would like to derive `Generic` declarations with TH.
An alternative approach is to use `unsafeCodeCoerce`, but then the
derived `Generic` instances would be type-checked only at use sites,
i.e. much later. Also `-ddump-splices` output is quite ugly:
user-written instances would use TTH brackets, not `unsafeCodeCoerce`.
This commit doesn't allow generating of untyped template splices
and brackets with untyped TH, as I don't know why one would want to do
that (instead of merging the splices, e.g.)
Diffstat (limited to 'testsuite/tests/th/TH_typed1.stdout')
| -rw-r--r-- | testsuite/tests/th/TH_typed1.stdout | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/th/TH_typed1.stdout b/testsuite/tests/th/TH_typed1.stdout new file mode 100644 index 0000000000..44cf16f8da --- /dev/null +++ b/testsuite/tests/th/TH_typed1.stdout @@ -0,0 +1 @@ +'x' |