`Show` Instanz für GHC-Core

Question

Ich versuche mit GHC-Core-Datentypen zu arbeiten. Ich bin in der Lage, meine Haskell-Quelle zu Kern-Darstellung mit dem Typ Bind CoreBndr zu kompilieren. Wie wir wissen, gibt es keine Standard Show Instanz für diesen Datentyp. Es gibt eine Möglichkeit, diese Darstellung hübsch zu drucken, aber es ist viel zu viel Rauschen damit verbunden. Ich möchte GHC-Kern wie jeden anderen algebraischen Datentyp behandeln und Funktionen damit schreiben. Es wäre viel einfacher, wenn wir eine Show Instanz des GHC-Kerns hätten. Hat schon jemand eine Show-Instanz geschrieben, die ich wiederverwenden kann?

Abgesehen davon, wie schreibt und verifiziert die Gemeinschaft Programme, die sich mit GHC-Kern befassen?

Answer 1

in GHC Mülltonne Tauchen gegangen und dachte die gleiche Frage, ich kann sicher sagen, dass eine naive Implementierung von Show in GHC ist NICHT was Sie wollen. Der Grund dafür ist, dass intern GHC Rekursion unter vielen seiner Datentypen hat. Zum Beispiel zwischen TyCon, AlgTyConRhs und DataCon haben wir:

TyCon hat AlgTyCon, die AlgTyConRhs enthält.

AlgTyConRhs enthält data_cons :: [DataCon] als eines seiner Datensatzfelder.

DataCon enthält dcRepTyCon :: TyCon als eines seiner Felder.

Und damit schließen wir den Kreis. Aufgrund der Funktionsweise von Show erzeugt eine Rekursion wie diese eine unendliche Ausgabe, wenn Sie versuchen, sie zu drucken.

Um eine "nette" benutzerdefinierte Darstellung mit Datenkonstruktoren und allem, was angezeigt wird, zu erhalten, müssten Sie es selbst schreiben. Das ist eigentlich etwas herausfordernd, da Sie Fälle von Rekursionen, wie sie von Standard-Druckern gelöst wurden, in Betracht ziehen und debuggen müssen.

Es ist mühsam, wurden viele Tabs geöffnet, aber es ist eine gute Lernerfahrung :)