[Grace-core] Parsing ambiguity

Michael Homer mwh at ecs.vuw.ac.nz
Tue Jul 1 00:06:05 PDT 2014


On Tue, Jul 1, 2014 at 6:53 PM, James Noble <kjx at ecs.vuw.ac.nz> wrote:
>
> On 1/07/2014, at 18:03 pm, Timothy Jones <tim at ecs.vuw.ac.nz> wrote:
>
>> How should the following expression be parsed?
>>
>>  run(a < B, C > 1)
>>
>> Is this a request for 'run' with two arguments, each the result of a comparison
>> operator, or is it a request for 'run' with a single argument, which is a
>> request to 'a' with generic parameters 'B' and 'C' and an argument of 1?
>
> I'm pretty sure this is
>
> run(a<B, C>1)
>
Or rather, it's run((a < B), (C > 1)). run(a<B, C>1) is unambiguously
using generic parameters, since there's no space.
-Michael


More information about the Grace-core mailing list