On Fri, Jun 13, 2014 at 12:57 PM, Julian K. Arni <jkarni@gmail.com> 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