On Nov 8, 2014, at 10:42 PM, "Dr. ERDI Gergo" <[email protected]> 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 _______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
