YellowGrass

Wrong variable name in generated code when mixing constraints 'x has type y' and 'y refers to z'.

Concrete example:

ExprName(q, n):
  refers to Field n 
    in Type t 
    where q has type t
    and t refers to Type t'

generates the following code:

where(r2-1-1-1__ := <get-property-task(|Type())> q)
where(r2-1-1-2__ := <nabl-use-check-tasks(|partition__, NablNsType())> t)

but t is undefined, it should be r2-1-1-1__ instead.

Submitted by Gabriël Konat on 13 November 2013 at 14:06

Issue Log

On 13 November 2013 at 14:06 Gabriël Konat tagged generator
On 13 November 2013 at 14:06 Gabriël Konat tagged @guwac
On 19 January 2014 at 01:10 Guido Wachsmuth commented:

Fixed in ec25fee1d6.

On 19 January 2014 at 01:10 Guido Wachsmuth closed this issue.

Log in to post comments