YellowGrass

Ambiguity for 'importing names from enclosing scope' construct

This binding rule gives an ambiguity:

Process(_, _, _):
  imports Var from enclosing Processes into current scope

.

 amb([
       WildcardImport([Restricted([],NamespaceRef("Var"))],[],Context(All,NamespaceRef("enclosing"),VarRef("Processes"),[],Current),Current,[]),
       WildcardImport([Restricted([],NamespaceRef("Var"))],[],Enclosing(NamespaceRef("Processes")),Current,[])])
Submitted by Oskar van Rest on 30 March 2014 at 03:38

Issue Log

On 30 March 2014 at 08:15 Guido Wachsmuth commented:

Looks like enclosing should be reserved.

On 8 May 2014 at 13:17 Guido Wachsmuth tagged syntax
On 24 May 2014 at 19:17 Guido Wachsmuth commented:

Fixed by reserving enclosing.

On 24 May 2014 at 19:17 Guido Wachsmuth closed this issue.

Log in to post comments