haskell-jp / questions #100 at 2022-01-27 17:15:32 +0900

https://github.com/egison/egison/blob/master/hs-src/Language/Egison/Math/Rewrite.hs#L64　
このコードがtemplate haskellのQuasiQuotesを使ってるみたいなんですが、[mc | ...... |]の部分の読み方がわかりません。

これはEgisonライクな独自言語を持ち込んでいるので、独自の構文を理解しないと読めません。
雑に言うと、これにマッチした場合変数 k と xss にデータが代入されて、 -> の右辺では変数代入済みの通常のHaskellコードが書かれています

解説ありがとうござます。
-Wunused-local-bindsのワーニングを取り除きたいだけなんですが、どうすればよろしいでしょうか？

一番確実なのは -ddump-splices で生成されたソースコードを確認することですが、多分めっちゃ大変だと思うので @ さんに直接聞くのがいいんじゃないっすかね。

shakespeareでも偽陽性の変数の未使用あった気がするので、色々と厳しいかもしれません

https://github.com/egison/sweet-egison
このライブラリを使ったコードなのですが，-Wunused-local-bindsのワーニングを取り除くのが難しくて諦めた記憶があります．

ありがとうございます。別のイシューに取り掛かります