#58 Scope annotations are not ignored during re-analysis (project NaBL on YellowGrass.org)

This is a problem for re-analysis on an analyzed AST.
Submitted by Gabriël Konat on 17 July 2013 at 01:49

On 17 July 2013 at 07:03 Guido Wachsmuth commented:

These scope annotations are on purpose. They can be used to store and query properties of the scope. The annotations are particular important in compilation, because they are the only way to get the URI for the property storage/lookup.

On 17 July 2013 at 07:31 Gabriël Konat commented:

Ok, then the issue is that they are not removed/ignored when an AST is re-analyzed, they are doubled in this case:

{ Scope(
     [ ( NablNsVariable()
       , URI(
           Language("Green-Marl")
         , [Anonymous("/Users/gohla/Spoofax/Workspaces/NBL/greenmarl-small-test/foo.gm/0"), ID(NablNsProcedure(), "pagerank", Unique("/Users/gohla/Spoofax/Workspaces/NBL/greenmarl-small-test/foo.gm/0")), Anonymous("/Users/gohla/Spoofax/Workspaces/NBL/greenmarl-small-test/foo.gm/0")]
         )
       )
     , ( ( NablNsVariable()
         , URI(
             Language("Green-Marl")
           , [Anonymous("/Users/gohla/Spoofax/Workspaces/NBL/greenmarl-small-test/foo.gm/0"), ID(NablNsProcedure(), "pagerank", Unique("/Users/gohla/Spoofax/Workspaces/NBL/greenmarl-small-test/foo.gm/0")), Anonymous("/Users/gohla/Spoofax/Workspaces/NBL/greenmarl-small-test/foo.gm/0")]
           )
         )
       , URI(Language("Green-Marl"), [Anonymous("/Users/gohla/Spoofax/Workspaces/NBL/greenmarl-small-test/foo.gm/1")])
       )
     ]
   )
 }

On 20 May 2014 at 23:35 Guido Wachsmuth commented:

Is this still the case?

On 21 May 2014 at 16:24 Gabriël Konat commented:

Most likely, but we should strip them before re-analysis.

Log in to post comments

Scope annotations are not ignored during re-analysis

Issue Log