By only adding references that actually appear as imports in the scope graph to the set of seen imports, we can cache some environments results. Note that we need to take the well-formedness into account (can we create normal forms?), and the cache is only valid with the same path ordering.

Submitted by Hendrik van Antwerpen on 12 September 2016 at 14:28

Log in to post comments