[GHC] #16348: GHC HEAD regression: tyConAppArgs

Ben Gamari ben at well-typed.com
Wed Mar 6 10:57:07 UTC 2019

On March 6, 2019 4:23:37 AM EST, Simon Peyton Jones <simonpj at microsoft.com> wrote:
>|   * Tickets will have notes added when they are mentioned by a commit
>|     message. As we discussed earlier, messages won't include the
>|     message text but rather only a reference to the referring commit
>|     For instance, this looks like [1].
>I thought we'd decided, for now anyway, to /include/ the commit message
>text.  (Matthew dissented.)  Is that hard to do?
Oh dear, I will need to look back over my notes. I suspect my memory has failed me here.

Regardless, it is not particularly hard to include commit messages. 


- Ben 

Sent from my Android device with K-9 Mail. Please excuse my brevity.

More information about the ghc-devs mailing list