[Grace-core] Parsing ambiguity

[Marco Servetto]

so, is grace syntax space sensitive? in what way?

On 1 July 2014 19:06, Michael Homer <mwh at ecs.vuw.ac.nz> wrote:
> 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
> _______________________________________________
> Grace-core mailing list
> Grace-core at cecs.pdx.edu
> https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core