Thanks! 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 ....
Robby On Wed, May 29, 2013 at 12:01 PM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > 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. > > 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 <ray.rac...@gmail.com> > wrote: > > > > > I've created a mini-collection out on Github. > > > https://github.com/RayRacine/tlib.git > > > > > > 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/5.3.4.10/collects > > > 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: > > > http://lists.racket-lang.org/users > > > > > > > > ____________________ > > Racket Users list: > > http://lists.racket-lang.org/users >
____________________ Racket Users list: http://lists.racket-lang.org/users
