
13 Jun
2014
13 Jun
'14
1:02 p.m.
Haha, how embarrassing. Sorry all
On Jun 13, 2014 6:59 PM, "Brandon Allbery"
On Fri, Jun 13, 2014 at 12:57 PM, Julian K. Arni
wrote: I have a lot of boilerplate code that th-desugar has made significantly more manageable (thanks Richard!). Somewhere in the midst of it, I have:
type_equal (DContT n1) (DContT n2) = {...}
(...)
Huh? Of course 'DConT' is what I meant - that's exactly what I wrote!
You sure of that?
-- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net