[m-dev.] for review: last call modulo constructors [2/3]

[Fergus Henderson]

On 24-Jun-1998, David Matthew Overton <dmo at students.cs.mu.oz.au> wrote:
> On Wed, Jun 24, 1998 at 12:58:37AM +1000, Fergus Henderson wrote:
> > What are the "% AAA" comments for?
> 
> "% AAA" is a reminder to me of something that will eventually need to
> be changed or re-thought before the alias branch is merged back into
> the trunk.  Andrew was already using "% YYY" so I picked "% AAA".
> I suppose there should be a more detailed comment there.

Yep.

> > Why doesn't any(_) match_initial with free(alias), and vice versa?
> 
> The changes to the inst_matches_* routines currently only allow as
> much matching as is necessary for LCO.  Andrew and I have been
> planning to discuss with you exactly what should match with what.
> Perhaps we could do that soon?

Sure.

> > Why doesn't free(alias) match_initial with free(unique), and vice versa?
> 
> free(alias) and free(unique) will eventually match_initial with each
> other --- as soon as the resulting implied modes are supported by the
> mode checker.

OK, then you should document that.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.