8 Nov
2014
8 Nov
'14
11:02 p.m.
On Nov 8, 2014, at 10:42 PM, "Dr. ERDI Gergo"
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