Add a -fprint-axiom-incomps option (#15546)
Supply branch incomps when building an IfaceClosedSynFamilyTyCon `pprTyThing` now has access to incomps. This also causes them to be written out to .hi files, but that doesn't pose an issue other than a more faithful bijection between `tyThingToIfaceDecl` and `tcIfaceDecl`. The machinery for displaying axiom incomps was already present but not in use. Since this is now a thing that pops up in ghci's :info the format was modified to look like a haskell comment. Documentation and a test for the new feature included. Test Plan: T15546 Reviewers: simonpj, bgamari, goldfire Reviewed By: simonpj Subscribers: rwbarton, carter GHC Trac Issues: #15546 Differential Revision: https://phabricator.haskell.org/D5097
Showing
- compiler/iface/IfaceSyn.hs 31 additions, 4 deletionscompiler/iface/IfaceSyn.hs
- compiler/iface/MkIface.hs 22 additions, 21 deletionscompiler/iface/MkIface.hs
- compiler/main/DynFlags.hs 2 additions, 0 deletionscompiler/main/DynFlags.hs
- docs/users_guide/glasgow_exts.rst 3 additions, 0 deletionsdocs/users_guide/glasgow_exts.rst
- docs/users_guide/using.rst 31 additions, 0 deletionsdocs/users_guide/using.rst
- testsuite/tests/ghci/scripts/T15546.script 5 additions, 0 deletionstestsuite/tests/ghci/scripts/T15546.script
- testsuite/tests/ghci/scripts/T15546.stdout 11 additions, 0 deletionstestsuite/tests/ghci/scripts/T15546.stdout
- testsuite/tests/ghci/scripts/all.T 1 addition, 0 deletionstestsuite/tests/ghci/scripts/all.T
Loading
Please register or sign in to comment