Simon (PJ) says, on the proposal, that this essentially amounts to
documenting the current intended behaviour (but whose implementation is
faulty).
It does look reasonable regardless.
On Mon, May 4, 2020 at 11:06 AM Richard Eisenberg
Hi committee,
I am the shepherd for #320, about a tweak to the handling of associated-type defaults in hs-boot and signature files. I recommend acceptance.
Proposal: https://github.com/obsidiansystems/ghc-proposals/blob/signature-type-instanc... Recommendation (in GitHub thread): https://github.com/ghc-proposals/ghc-proposals/pull/320#issuecomment-6233460...
As stated in our published process ( https://github.com/ghc-proposals/ghc-proposals#committee-process), technical conversation should go on the GitHub thread, while evaluative comments can go on this thread in the mailing list.
I expect this will be boring and uncontroversial to many of us. I will accept this in one week unless debate has sprung up.
Thanks! Richard _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee