<div dir="ltr">Thanks!<div> </div><div style>re: current-directory-for-user: I also don't see a better way. Probably the docs should say "don't set this path", roughly (with some caveats that would include things like drracket) and if only we'd written similar docs for current-directory back in the day ....</div> <div style> </div><div style>Robby</div></div><div class="gmail_extra"> <div class="gmail_quote">On Wed, May 29, 2013 at 12:01 PM, Matthew Flatt <<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">All correct. As it happens, though, I had to tweak the module-loading handler stack to add "missing-module" exception support (for the package system). Those changes make a source location possible in many cases (intentionally), but I hadn't taken the last step of including locations in the error-message text. I've implemented the last step, now, and I think the example below will now show a source location. While I'm here, a related problem is that source location paths have been shown relative to `current-directory', but `raco setup' and other things change `current-directory' in a way that sometimes obscures the path. For example, an error might be reported for "main.rkt", in which case it may take a while to sort out which "main.rkt" is relevant. As an experiment, I've added `current-directory-for-user', which is initialized the same as `current-directory' and used to print source-location paths. Errors from `raco setup' are then reported relative to the initial directory, while DrRacket can set `current-directory-for-user' to keep paths relative to the directory of the main file. I'm not sure that adding Even More Stuff is a good idea, though. <div class="HOEnZb"><div class="h5"> At Tue, 28 May 2013 11:25:50 -0500, Robby Findler wrote: > IIUC, the problem is that the source location information (for the require) > is no longer present when the filesystem access happens that turns into the > error. > > It is not those particular multiple parts of the system (raco, cm, tr) but > I think it is a non-trivial change, all inside the core. Also, IIUC, the > change leaks out and requires a change to publicly visible parts of the > infrastructure (the module name resolver). I'm not sure about that, but I > think that's also an obstacle. > > Robby > > > > On Tue, May 28, 2013 at 11:15 AM, Ray Racine <<a href="mailto:ray.racine@gmail.com">ray.racine@gmail.com</a>> wrote: > > > I've created a mini-collection out on Github. > > <a href="https://github.com/RayRacine/tlib.git" target="_blank">https://github.com/RayRacine/tlib.git</a> > > > > Consider the single collection, c1, with 4 modules. > > > > m1.rkt -> m1a.rkt -> m1aa.rkt > > m2.rkt > > > > Where m1 depends on m1a, m1a on m1aa and m2 had no dependencies. > > > > --> raco link /code/tlib/c1 > > --> raco link -l > > User links: > > collection: "c1" path: "/code/tlib/c1" > > Installation links: > > > > --> raco setup c1 > > <stuff> > > > > Completes without error. > > > > Now imagine one performs some amount of intra-collection module > > refactoring, module renamings, splitting and combing modules etc. > > > > We simulate this activity with a single modification to the require in > > m1.rkt to a now non-existent module. > > > > ;;Change > > (require > > (only-in "m1a.rkt" > > c1-m1a-v1)) > > > > ;; to > > > > (require > > (only-in "m1x.rkt" > > c1-m1a-v1)) > > > > Build the refactored collection. > > > > --> raco setup c1 > > raco setup: version: 5.3.4.10 [3m] > > raco setup: variants: 3m > > raco setup: main collects: /usr/local/racket/collects > > raco setup: collects paths: > > raco setup: /home/ray/.racket/<a href="http://5.3.4.10/collects" target="_blank">5.3.4.10/collects</a> > > raco setup: /usr/local/racket/collects > > raco setup: --- pre-installing collections --- > > raco setup: --- installing foreign libraries --- > > raco setup: --- compiling collections --- > > raco setup: --- parallel build using 8 processes --- > > raco setup: 7 making: /code/tlib/c1 > > default-load-handler: cannot open module file > > module path: #<path:/code/tlib/c1/m1x.rkt> > > path: /code/tlib/c1/m1x.rkt > > system error: No such file or directory; errno=2 > > context...: > > standard-module-name-resolver > > /usr/local/racket/collects/racket/require-transform.rkt:266:2: > > expand-import > > /usr/local/racket/collects/racket/private/reqprov.rkt:375:5 > > /usr/local/racket/collects/racket/require-transform.rkt:266:2: > > expand-import > > try-next > > /usr/local/racket/collects/racket/private/reqprov.rkt:242:2 > > success > > /usr/local/racket/collects/typed-racket/typed-racket.rkt:53:4 > > /usr/local/racket/collects/compiler/cm.rkt:372:0: compile-zo* > > /usr/local/racket/collects/compiler/cm.rkt:579:26 > > /usr/local/racket/collects/compiler/cm.rkt:572:42 > > /usr/local/racket/collects/compiler/cm.rkt:537:0: maybe-compile-zo > > /usr/local/racket/collects/compiler/cm.rkt:650:2: do-check > > /usr/local/racket/collects/compiler/cm.rkt:731:4 > > /usr/local/racket/collects/setup/parallel-do.rkt:420:20: loop > > > > raco setup: --- updating info-domain tables --- > > raco setup: --- creating launchers --- > > raco setup: --- installing man pages --- > > raco setup: --- building documentation --- > > raco setup: --- installing collections --- > > raco setup: --- post-installing collections --- > > raco setup: > > raco setup: error: during making for /code/tlib/c1 > > raco setup: default-load-handler: cannot open module file > > raco setup: module path: #<path:/code/tlib/c1/m1x.rkt> > > raco setup: path: /code/tlib/c1/m1x.rkt > > raco setup: system error: No such file or directory; errno=2 > > raco setup: context...: > > raco setup: standard-module-name-resolver > > raco setup: > > /usr/local/racket/collects/racket/require-transform.rkt:266:2: expand-import > > raco setup: > > /usr/local/racket/collects/racket/private/reqprov.rkt:375:5 > > raco setup: > > /usr/local/racket/collects/racket/require-transform.rkt:266:2: expand-import > > raco setup: try-next > > raco setup: > > /usr/local/racket/collects/racket/private/reqprov.rkt:242:2 > > raco setup: success > > raco setup: > > /usr/local/racket/collects/typed-racket/typed-racket.rkt:53:4 > > raco setup: /usr/local/racket/collects/compiler/cm.rkt:372:0: > > compile-zo* > > raco setup: /usr/local/racket/collects/compiler/cm.rkt:579:26 > > raco setup: /usr/local/racket/collects/compiler/cm.rkt:572:42 > > raco setup: /usr/local/racket/collects/compiler/cm.rkt:537:0: > > maybe-compile-zo > > raco setup: /usr/local/racket/collects/compiler/cm.rkt:650:2: do-check > > raco setup: /usr/local/racket/collects/compiler/cm.rkt:731:4 > > raco setup: /usr/local/racket/collects/setup/parallel-do.rkt:420:20: > > loop > > raco setup: > > > > Assuming co-occurrence of output happens across an N processor raco build, > > we know that during the making of collection c1, module m1x was not found. > > > > making: /code/tlib/c1 > > default-load-handler: cannot open module file > > module path: #<path:/code/tlib/c1/m1x.rkt> > > path: /code/tlib/c1/m1x.rkt > > > > The critical information of whom to blame is missing. In this case, the > > culprit is m1.rkt, line xxx with a bogus require. > > > > With a collection of a hundred module files or so, combined with multiple > > issues from the refactoring, one is in for an afternoon of recursive > > grepping etc. > > > > Questions: > > > > 1) Is this currently a "deep" issue, in the sense of how module resolving > > and instantiation is performed, layered with Typed Racket's mode of > > implementation, layered with CM and Raco's build system that prevents a > > more informative error message? > > > > Or > > > > 2) Is this just a simple a bug, in the sense of oops, just forgot to print > > the error message concerning the offending source module and line? > > > > If its 2) I'll work on debugging for a fix. If 1) I'm just not going to > > be able to tunnel through raco -> cm -> tr -> module expansion to run this > > down, so I'll punt. > > > > > > Thanks, > > > > > > Ray > > > > ____________________ > > Racket Users list: > > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> > > > > > ____________________ > Racket Users list: > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> </div></div></blockquote></div> </div>