Need help understanding the Coverage Condition

Philip K.F. Hölzenspies p.k.f.holzenspies at
Wed Jul 4 14:21:21 EDT 2007

On Wed, Jul 04, 2007 at 05:35:44PM +0100, Simon Peyton-Jones wrote:
> Have you read "Understanding functional dependencies via Constraint
> Handling Rules"?
> If not, I urge you to consider doing so.  It goes into the whole
> thing in great detail. I'm submerged for the next 3 weeks, though
> others may be able to help you.


I knew I had a "to read" scribbled down in the back of my mind
somewhere, but it had slipped out. I will read that paper and see how
far I get (although it still seems that it should be possible to relax
the covering condition somewhat, being that the example I gave is
decidable on paper ;) )

Thank you for the reference.


More information about the Glasgow-haskell-users mailing list