[ConceptGCC]

ConceptGCC : Re: Refinement combined with nested requirement

From: Doug Gregor (dgregor_at_[hidden])
Date: 2006-07-14 13:29:36

• Next message: Bonderer Rolf: "Constrained concept maps"
• Previous message: Doug Gregor: "Re: Refinement combined with nested requirement"
• In reply to: Bonderer Rolf: "Refinement combined with nested requirement"

On Jul 7, 2006, at 1:35 PM, Bonderer Rolf wrote:

> Hi,
>
> I came across another interesting example. The basic idea can be
> expressed with the following simple (and possibly strange) example:
> [snip]
> The program, as presented here, looks a bit stupid of course. But
> in more complex situations such refinement patterns might be
> observed. In fact, the compiler considers the function call "show"
> as ambiguous and yields the following error message:

This bug is now fixed in revision 332. Turns out that ConceptGCC was
doing *almost* the right thing, by eliminating one of the two A<type>
requirements... but it decided to eliminate the refinement instead of
the nested requirement.

Thanks again for the bug report!

        Doug

• Next message: Bonderer Rolf: "Constrained concept maps"
• Previous message: Doug Gregor: "Re: Refinement combined with nested requirement"
• In reply to: Bonderer Rolf: "Refinement combined with nested requirement"