Concrete syntax for pattern synonym type signatures

Richard Eisenberg eir at cis.upenn.edu
Sun Nov 9 04:02:43 UTC 2014


On Nov 8, 2014, at 10:42 PM, "Dr. ERDI Gergo" <gergo at erdi.hu> wrote:

> Right, but the issue in this case is if we add this artifical constructor to HsType just so we can fix it up into a pair of contexts, this constructor would permeate everything else that has to do with HsTypes; if nothing else, it'd need a `panic "foo: HsContextPair"` branch for all type-related renamer/typechecker functions.
> 
> Unless I'm missing some shortcut. I hope I do!

No, you're right that you would have to do this, but this turns out to be the least of your worries -- takes 5 minutes. :) Now, if I could only predict what would be the *most* of your worries, I'd be a much more efficient programmer!

Richard


More information about the ghc-devs mailing list