FDs and confluence

Ross Paterson ross at soi.city.ac.uk
Thu Apr 13 21:12:11 EDT 2006

On Thu, Apr 13, 2006 at 05:10:36PM -0700, Iavor Diatchki wrote:
> > > I understand the reduction steps.  Are you saying that the problem is
> > > that the two sets are not syntactically equal?   To me this does not
> > > seem important: we just end up with two different ways to say the same
> > > thing (i.e., they are logically equivalent).
> >
> > If c were mentioned in another constraint, they would not be equivalent.
> How so?  A concrete example would really be useful.  I think that the
> constraint 'C [a] b d' and 'C [a] c d' are equivalent and I don't see
> how the rest of the context can affect this (of course I have been
> wrong in the past :-).

They are equivalent, but C [a] b d, Num c and C [a] c d, Num c are not.

More information about the Haskell-prime mailing list