YellowGrass

y in 'where x refers to y' clause is unscoped in generated code

For example

otherwise
	refers to Method n
		in Type t
		where q refers to Type t
otherwise
	refers to Field n 
		in Type t
		where q refers to Type t
otherwise
	refers to Type n 
		in Type t
		where q refers to Type t

produces the following code:

    ; where(t := <nabl-get-name> q
            ; r2-1-3-1__ := <nabl-use-candidate(|lang__, partition__, uris__, q)> UseCandidate(
                                                                                    Import(lang__, NablNsType())
                                                                                  , []
                                                                                  , Current()
                                                                                  , True()
                                                                                  , []
                                                                                  ))
    ; where(t := <nabl-get-name> q
            ; r2-1-4-1__ := <nabl-use-candidate(|lang__, partition__, uris__, q)> UseCandidate(
                                                                                    Import(lang__, NablNsType())
                                                                                  , []
                                                                                  , Current()
                                                                                  , True()
                                                                                  , []
                                                                                  ))
    ; where(t := <nabl-get-name> q
            ; r2-1-5-1__ := <nabl-use-candidate(|lang__, partition__, uris__, q)> UseCandidate(
                                                                                    Import(lang__, NablNsType())
                                                                                  , []
                                                                                  , Current()
                                                                                  , True()
                                                                                  , []
                                                                                  ))

where t is bound 3 times, which is invalid in Stratego.

Submitted by Gabriël Konat on 30 October 2013 at 20:33

Issue Log

On 30 October 2013 at 20:33 Gabriël Konat tagged error
On 30 October 2013 at 20:34 Gabriël Konat tagged generator
On 12 November 2013 at 15:49 Gabriël Konat closed this issue.

Log in to post comments