[Aldor-l] Aldor-Meet

[Oleg Golubitsky]

Hi Ralf,

By analogy with `Join', `Meet(C1,C2)' should return
a category which has the *intersection* of exports
of `C1' and `C2'.

A simple test (see below) confirmed this semantics;
I also could not find a description of `Meet' in the guide.

Oleg

#include "aldor"
define C1:Category == with {
        f: Integer;
        g: Integer;
}
define C2:Category == with {
        f: Integer;
        h: Integer;
}
D: Meet(C1,C2) == add {
        f: Integer == 1;  -- OK; if this line is commented out, error:
                                -- The domain is missing some exports.
                                -- Missing f: AldorInteger
}




2007/11/19, Ralf Hemmecke <ralf at hemmecke.de>:
> Hello,
>
> in trunk/aldor/lib/aldor/src/lang/sal_lang.as
> I've found:
>
> Join(T: Tuple Category): Category == with;
> Meet(T: Tuple Category): Category == with;
>
> Can somebody point me to a description of "Meet". I cannot find it in
> the AUG.
>
> Thank you
>
> Ralf
>
>
> _______________________________________________
> Aldor-l mailing list
> Aldor-l at aldor.org
> http://aldor.org/mailman/listinfo/aldor-l_aldor.org
>