Richard Eisenberg eir at
Thu Jun 23 13:16:57 UTC 2016

>  * Required
>  * Specified
>  * Inferred
> I like that. Much more self-explanatory.   Shall we go for it?

Sure. Now, who gets to do the work? :)

Are you in the middle of a refactor around this? If not, I can do this this afternoon.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list