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

This was fixed in e8b27aa399.