Haskell - 新しい4引数の準引用符の使い方

Question

準引用符の構文が4つの引数[link]を受け入れるように変更されたようです。誰もまだそれを使用していますか？ありがとう。私はちょうど本当に簡単なものを作りたいと思っています。ウェブ上の例は今は動かないでしょう。

ありがとうございます。

Answer 1

QuasiQuoterの各部分は、文字列（準引用符の内容）を受け取り、Qモナドに適切な値を返す関数です。あなたのquasiquoterは、これらのコンテキストの一部で使用されているサポートされていない場合は、単にエラーを返す、例えば：

someQuoter = QuasiQuoter { quoteType = const $ fail "type context unsupported" 
         , -- etc ... 
         } 

fail方法は、コンパイラエラーを生成report Trueを呼び出します。これはかなり正しい動作です。

Answer 2

基本的には、式とパターンに加えて型と宣言に対して準クォータを作成できるようになりました。

タイプ/宣言フィールドを使用しない場合は、error "This quasiquoter doesn't support splicing types/declarations"に設定してください。