From 5fcc7d2240b31e845d2fd4fdb6f81c252baeeaca Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 10 Oct 2012 19:46:52 -0500 Subject: [PATCH] preserve the error-print-source parameter when installing planet packages (cherry picked from commit cb763c81b99f5a498952707057e91fbb73cc292f) --- collects/planet/private/resolver.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/planet/private/resolver.rkt b/collects/planet/private/resolver.rkt index 19bbfb7624..028e35f176 100644 --- a/collects/planet/private/resolver.rkt +++ b/collects/planet/private/resolver.rkt @@ -343,6 +343,7 @@ See the scribble documentation on the planet/resolver module. [current-module-declare-name #f] [use-compiled-file-paths (call-with-parameterization orig-paramz use-compiled-file-paths)] [current-library-collection-paths (call-with-parameterization orig-paramz current-library-collection-paths)] + [error-print-source-location (call-with-parameterization orig-paramz error-print-source-location)] [powerful-security-guard (call-with-parameterization orig-paramz current-security-guard)]) (let-values ([(path pkg) (get-planet-module-path/pkg/internal spec rmp stx load?)]) (when load? (add-pkg-to-diamond-registry! pkg stx))