[m-rev.] for review: report an error for obviously redundant functional dependencies

[Julien Fischer]

On Sat, 20 Sept 2025 at 14:47, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:

> On Sat, 20 Sep 2025 14:33:03 +1000, Julien Fischer <jfischer at opturion.com> wrote:

> > +            CommonTypeVarsPieces ++
> > +            color_as_incorrect([
> > +                words(choose_number(CommonTypeVars, "occurs", "occur")),
> > +                words("in both the domain and range of a functional
> > dependency.")
>
> I would make two cosmetic changes here. First, I would change the text to say
> "both the domain and THE range of THE SAME functional dependency".
> Second, I would color as incorrect only the "both the domain and the range"
> part.

Done.

Julien.