Поиск правил перезаписи

Есть ли способ просмотреть или переписать правила перезаписи? Когда я использую флаги, такие как -ddump-rule-firings или же -ddump-rule-rewrites Я просто получаю название правила, которое сработало, и переписывание, которое оно вызвало, но не собственно само правило...

В идеале я хотел бы посмотреть, какие правила перезаписи доступны в GHCi, но в действительности я бы хотел согласиться лишь с исчерпывающим списком правил перезаписи, присутствующих в базе.

1 ответ

Решение

Хорошо, все еще надеясь на хороший ответ на этот вопрос, но если нет, я пошел дальше и сделал то, что предложил pdexter и grep'd base для правил. Вот правила в базе 4.9.


Для тех, кто заинтересован в тиражировании этого:

  • клон http://git.haskell.org/ghc.git
  • перейдите к ghc/libraries/base
  • grep рекурсивно pcregrep -Mr '\{-# RULES(.|\n)*?#-\}' .
Другие вопросы по тегам