Core to Hsあるいは、Core to sourceする関数ってありますか？ GHC APIの中に見つからなかったのですが
今私は、Coreの型からCoreExprを計算する HoleFitPluginを書いていて、出力には表層構文で書かれた文字列を渡す必要があるのですが、単純にCoreExprをpprしてしまうと、Haskellの構文ではなくなってしまいます。
それなので、CoreをHsに戻すまで行かなくても、パースに通るようなテキストに変換したいです。
今私は、Coreの型からCoreExprを計算する HoleFitPluginを書いていて、出力には表層構文で書かれた文字列を渡す必要があるのですが、単純にCoreExprをpprしてしまうと、Haskellの構文ではなくなってしまいます。
それなので、CoreをHsに戻すまで行かなくても、パースに通るようなテキストに変換したいです。