The following name binding rule from WebDSL2:

ForExp(sexpr, name, ty, expr, filter):
	defines Variable name of type ty in sexpr, expr, filter

generates:

nabl-external-def-site(|partition__) =
?ForExp(sexpr, name, ty, expr, filter)
; origin-track-forced(
    ForExp(
      nabl-def-alias(|partition__, uri__)
    , where(uri__ := <nabl-uri>)
    , id
    , nabl-def-alias(|partition__, uri__)
    , nabl-def-alias(|partition__, uri__)
    )
  |
  )

which is incorrect because the first usage of uri__ comes before its binding.

Submitted by Gabriël Konat on 18 July 2013 at 23:07

On 18 July 2013 at 23:07 Gabriël Konat tagged generator

On 18 July 2013 at 23:07 Gabriël Konat tagged @guwac

On 19 January 2014 at 01:49 Guido Wachsmuth commented:

This was fixed in e8b27aa399.


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

Log in to post comments