> From: Adam Megacz <meg...@cs.berkeley.edu> > > Hrm, it seems that I hit "send" instead of "save draft" when > shutting down my computer last night. > > On 2011-10-22 22:48:55 -0700, Adam Megacz said: >> I've written up a short example of the problems that happen here: > > Here is the link which was missing from that posting: > > http://www.megacz.com/thoughts/polymorphic-case.html
It seems that StackOverflow post left out important details. I think I've solved that one, but the problem there looks harder. It sounds like the entire point of this is syntax representation? If so, have you seen Conor McBride's recent post http://www.e-pig.org/epilogue/?p=773 on troubles they ran into with a higher order term representation, and a way to write first-order free name/bound index terms with a syntax like la $ \f -> la $ \x -> f (f x) Brandon _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe