Use cache for path->pkg (emina#250)

jamestiotio · Jan 20, 2023 · 88b3fd9 · 88b3fd9
1 parent d3c7abf
commit 88b3fd9
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/rosette/lib/util/module.rkt b/rosette/lib/util/module.rkt
@@ -21,13 +21,15 @@
   (string-prefix? (path->string (resolve-path a))
                   (path->string (resolve-path b))))
 
+(define pkg-cache (make-hash))
+
 (define (make-rosette-load/use-compiled pkgs-to-instrument)
   (make-custom-load/use-compiled
    #:blacklist
    (λ (path)
      (cond
        [(path-prefix? path (find-collects-dir)) #f]
        [else
-        (match (path->pkg path)
+        (match (path->pkg path #:cache pkg-cache)
           [#f #t]
           [pkg-name (member pkg-name pkgs-to-instrument)])]))))