YellowGrass

querying resolved imports

In the analysis results api we have

  /**
   * @param a : Analysis
   * @type ref:Occurrence -> (decl:Occurrence, Path)
   */
  nabl2-get-resolved-name(|a) = nabl2--get-ref-resolution

for looking up the resolving of Entity{x} -> s.

Would it be possible to add something for the resolving of Entity{x} <=I= s as well?

Submitted by Daco Harkes on 14 February 2017 at 12:43

Issue Log

On 14 February 2017 at 13:14 Daco Harkes commented:

Apparently nabl2-get-resolved-name works for the imports as well.

On 15 February 2017 at 18:33 Hendrik van Antwerpen commented:

I assume this issue can be closed, then.

On 15 February 2017 at 18:33 Hendrik van Antwerpen closed this issue.

Log in to post comments