Template Haskellで生のソースコードを出力することは可能ですか？

Question

有効なハスケルコードを含むString（またはTextなど）があります。テンプレートHaskellで[Dec]に変換する方法はありますか？

ASTがGHCに直接行かないので、印刷してから解析する段階になると確信しています。

これはTHに異なる "バックエンド"を許可するので、これは素晴らしいことです。たとえば、THよりも多くのHaskell構文をサポートするASTをhaskell-src-extsから使用できます。

Answer 1

ASTが直接GHCには行かないので、とにかく印刷してから解析する段階になるでしょう。

あなたはそれをどう思いますか？そうでない場合、TH ASTはGHCの内部ASTに直接変換されます。そのプロセスのどの時点でもテキストに変換されることはありません。 （それがなかった場合は、それはかなり奇妙なことでしょう。）

テンプレートHaskellはt、基本的に様々なe後ろパーサを露出させ、式、種類、および宣言にHaskellソースを解析する方法を公開している場合でも、それは多少いいだろう、テンプレートHaskellに組み込まれているdのクォーダーです。残念ながら、そうではありません。私は現在、それを変更する計画はないと思います。

現在のところ、haskell-src-extsを経由する必要があります。 はで、haskell-src-extsのパーサとGHCの違いはありますが、これは理想的ではありません。痛みを軽減するために、とtemplate-haskellを橋渡しするa package called haskell-src-metaがあります。

parseDecsの機能はLanguage.Haskell.Meta.Parseで、種類はString -> Either String [Dec]で、これはあなたが探している機能です。