Re: your mail

[Patrick LAM <plam@sable.mcgill.ca>]

Actually, the problem here is that in the AST you have a single concept
label, while in the CST->AST transformation you're specifying a new
equality rule with a List of lefts and a List of rights.  You probably
meant to say New equality_rule(left,right).

pat

On Mon, 9 Feb 2004, Jan De Bo wrote:

> Hi Etienne,
>
> Thx already for the reply. However I still have another problem:
>
> equality_rule = [left]:concept_label equals [right]:concept_label
>                 {-> New equality_rule([left],[right])};
>
> concept_label = ontology_label [left]:dot context_label [right]:dot
>                 term_label
>         {-> New concept_label(ontology_label,context_label,term_label)};
>
>
> In the AST section I have put
>
> equality_rule = [left]:concept_label [right]:concept_label;
>
> concept_label = ontology_label context_label term_label;
>
> When I run sablecc on it I get the following error:
>
> "expecting PConceptLabel when LPConceptLabel was found"
>
> I think the L in LPCon.. comes from the name [left] in the element
> definition.