default   Racket Bugs
Main PageQuick QueryStandard QueryAdvanced QueryHelp
Log in

View Problem Report: 11778

send email to interested parties or send email followup to audit-trail
Reporter's email: matthias at ccs dot neu dot edu
Number: 11778
Category: mzscheme
Synopsis: check syntax does not work with path-up
Class: sw-bug
Responsible: mflatt
Notify-List:
Severity: serious
Priority: medium
State: open
Confidential: no
Arrival-Date: Mon Feb 28 18:24:01 -0500 2011
Closed-Date:
Last-Modified: Wed Aug 17 16:24:01 -0400 2011
Originator: matthias
Organization: plt
Submitter-Id: unknown
Release: 5.1.0.2--2011-02-22(83b00c0/g)
Environment: macosx "Darwin africa.local 10.6.0 Darwin Kernel Version 10.6.0: Wed Nov 10 18:13:17 PST 2010; root:xnu-1504.9.26~3/RELEASE_I386 i386" (i386-macosx/3m) (get-display-depth) = 32
Human Language: english
(current-memory-use) 213833252

Collections:
("/Users/matthias/0Unison/collects/"
("._.DS_Store" ".DS_Store" "compiled" "date" "finance" "info-domain" "info.ss" "pdf.ss~" "session" "short" "testing" "tll-collects" "utils" "web"))
("/Users/matthias/Library/Racket/5.1.0.2/collects"
(non-existent-path))
("/Users/matthias/plt/collects"
(".gitignore" "2htdp" "afm" "algol60" "at-exp" "browser" "combinator-parser" "compiler" "config" "data" "datalog" "defaults" "deinprogramm" "drracket" "drscheme" "dynext" "embedded-gui" "eopl" "errortrace" "ffi" "file" "framework" "frtime" "games" "graphics" "gui-debugger" "guibuilder" "handin-client" "handin-server" "help" "hierlist" "honu" "htdp" "html" "icons" "info-domain" "lang" "launcher" "lazy" "macro-debugger" "make" "meta" "mred" "mrlib" "mysterx" "mz" "mzcom" "mzlib" "mzscheme" "net" "openssl" "parser-tools" "picturing-programs" "plai" "planet" "plot" "preprocessor" "profile" "r5rs" "r6rs" "racket" "racklog" "rackunit" "raclog" "raco" "racunit" "reader" "readline" "redex" "repo-time-stamp" "repos-time-stamp" "rnrs" "s-exp" "schelog" "scheme" "schemeunit" "scribble" "scribblings" "scriblib" "setup" "sgl" "sirmail" "slatex" "slideshow" "srfi" "srpersist" "stepper" "string-constants" "swindle" "syntax" "syntax-color" "teachpack" "test-box-recovery" "test-engine" "tes!
ts" "tex2page" "texpict" "tool" "trace" "typed" "typed-scheme" "unstable" "version" "waterworld" "web-server" "wxme" "xml"))

Computer Language: (("Determine language from source") (#(#t print mixed-fraction-e #f #t debug) (default) #() "#lang racket\n" #t #t))
Description: If "foo.rkt" exports x and the following module is located
'below' foo.rkt, then check-syntax on this module does not
connect foo.rkt and x (though it does seem to know that things
are imported from some module.)

#lang racket
(require racket/require) (require (path-up "foo.rkt"))
x
File Attachments:
How-To-Repeat:
Fix:
Release-Note:
Unformatted:

send email to interested parties or send email followup to audit-trail

Audit Trail:

From: Sam Tobin-Hochstadt <samth at ccs.neu.edu>
To: matthias at ccs.neu.edu, bugs at racket-lang.org
Cc: nobody at racket-lang.org, bug-notification at racket-lang.org
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Mon, 28 Feb 2011 19:39:19 -0500

 This is a long-standing problem with all `require' macros.
 
 On Mon, Feb 28, 2011 at 6:24 PM,  <matthias at ccs.neu.edu> wrote:
 > A new problem report is waiting at
 >  http://bugs.racket-lang.org/query/?cmd=view&pr=11778
 >
 > Reported by matthias for release: 5.1.0.2--2011-02-22(83b00c0/g)
 >
 > *** Description:
 > If "foo.rkt" exports x and the following module is located
 > 'below' foo.rkt, then check-syntax on this module does not
 > connect foo.rkt and x (though it does seem to know that things
 > are imported from some module.)
 >
 > #lang racket
 > (require racket/require) (require (path-up "foo.rkt"))
 > x
 >
 > *** How to repeat:
 >
 >
 > *** Environment:
 > macosx "Darwin africa.local 10.6.0 Darwin Kernel Version 10.6.0: Wed Nov 10 18:13:17 PST 2010; root:xnu-1504.9.26~3/RELEASE_I386 i386" (i386-macosx/3m) (get-display-depth) = 32
 > Human Language: english
 > (current-memory-use) 213833252
 >
 > Collections:
 > ("/Users/matthias/0Unison/collects/"
 >  ("._.DS_Store" ".DS_Store" "compiled" "date" "finance" "info-domain" "info.ss" "pdf.ss~" "session" "short" "testing" "tll-collects" "utils" "web"))
 > ("/Users/matthias/Library/Racket/5.1.0.2/collects"
 >  (non-existent-path))
 > ("/Users/matthias/plt/collects"
 >  (".gitignore" "2htdp" "afm" "algol60" "at-exp" "browser" "combinator-parser" "compiler" "config" "data" "datalog" "defaults" "deinprogramm" "drracket" "drscheme" "dynext" "embedded-gui" "eopl" "errortrace" "ffi" "file" "framework" "frtime" "games" "graphics" "gui-debugger" "guibuilder" "handin-client" "handin-server" "help" "hierlist" "honu" "htdp" "html" "icons" "info-domain" "lang" "launcher" "lazy" "macro-debugger" "make" "meta" "mred" "mrlib" "mysterx" "mz" "mzcom" "mzlib" "mzscheme" "net" "openssl" "parser-tools" "picturing-programs" "plai" "planet" "plot" "preprocessor" "profile" "r5rs" "r6rs" "racket" "racklog" "rackunit" "raclog" "raco" "racunit" "reader" "readline" "redex" "repo-time-stamp" "repos-time-stamp" "rnrs" "s-exp" "schelog" "scheme" "schemeunit" "scribble" "scribblings" "scriblib" "setup" "sgl" "sirmail" "slatex" "slideshow" "srfi" "srpersist" "stepper" "string-constants" "swindle" "syntax" "syntax-color" "teachpack" "test-box-recovery" "test-engine" "tes!
 >  ts" "tex2page" "texpict" "tool" "trace" "typed" "typed-scheme" "unstable" "version" "waterworld" "web-server" "wxme" "xml"))
 >
 > Computer Language: (("Determine language from source") (#(#t print mixed-fraction-e #f #t debug) (default) #() "#lang racket\n" #t #t))
 >
 >
 
 
 
 -- 
 sam th
 samth at ccs.neu.edu
 
From: Robby Findler <robby at eecs.northwestern.edu>
To: Sam Tobin-Hochstadt <samth at ccs.neu.edu>
Cc: matthias at ccs.neu.edu, bugs at racket-lang.org, nobody at racket-lang.org,
        bug-notification at racket-lang.org
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Mon, 28 Feb 2011 18:40:49 -0600

 Can you say more? DO you know if it is a check syntax bug specifically
 or if it is something that check syntax needs more help at the
 low-level for?
 
 Is there another PR?
 
 Thanks,
 Robby
 
 On Mon, Feb 28, 2011 at 6:39 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
 > This is a long-standing problem with all `require' macros.
 >
 > On Mon, Feb 28, 2011 at 6:24 PM,  <matthias at ccs.neu.edu> wrote:
 >> A new problem report is waiting at
 >>  http://bugs.racket-lang.org/query/?cmd=view&pr=11778
 >>
 >> Reported by matthias for release: 5.1.0.2--2011-02-22(83b00c0/g)
 >>
 >> *** Description:
 >> If "foo.rkt" exports x and the following module is located
 >> 'below' foo.rkt, then check-syntax on this module does not
 >> connect foo.rkt and x (though it does seem to know that things
 >> are imported from some module.)
 >>
 >> #lang racket
 >> (require racket/require) (require (path-up "foo.rkt"))
 >> x
 >>
 >> *** How to repeat:
 >>
 >>
 >> *** Environment:
 >> macosx "Darwin africa.local 10.6.0 Darwin Kernel Version 10.6.0: Wed Nov 10 18:13:17 PST 2010; root:xnu-1504.9.26~3/RELEASE_I386 i386" (i386-macosx/3m) (get-display-depth) = 32
 >> Human Language: english
 >> (current-memory-use) 213833252
 >>
 >> Collections:
 >> ("/Users/matthias/0Unison/collects/"
 >>  ("._.DS_Store" ".DS_Store" "compiled" "date" "finance" "info-domain" "info.ss" "pdf.ss~" "session" "short" "testing" "tll-collects" "utils" "web"))
 >> ("/Users/matthias/Library/Racket/5.1.0.2/collects"
 >>  (non-existent-path))
 >> ("/Users/matthias/plt/collects"
 >>  (".gitignore" "2htdp" "afm" "algol60" "at-exp" "browser" "combinator-parser" "compiler" "config" "data" "datalog" "defaults" "deinprogramm" "drracket" "drscheme" "dynext" "embedded-gui" "eopl" "errortrace" "ffi" "file" "framework" "frtime" "games" "graphics" "gui-debugger" "guibuilder" "handin-client" "handin-server" "help" "hierlist" "honu" "htdp" "html" "icons" "info-domain" "lang" "launcher" "lazy" "macro-debugger" "make" "meta" "mred" "mrlib" "mysterx" "mz" "mzcom" "mzlib" "mzscheme" "net" "openssl" "parser-tools" "picturing-programs" "plai" "planet" "plot" "preprocessor" "profile" "r5rs" "r6rs" "racket" "racklog" "rackunit" "raclog" "raco" "racunit" "reader" "readline" "redex" "repo-time-stamp" "repos-time-stamp" "rnrs" "s-exp" "schelog" "scheme" "schemeunit" "scribble" "scribblings" "scriblib" "setup" "sgl" "sirmail" "slatex" "slideshow" "srfi" "srpersist" "stepper" "string-constants" "swindle" "syntax" "syntax-color" "teachpack" "test-box-recovery" "test-engine" "tes!
 >>  ts" "tex2page" "texpict" "tool" "trace" "typed" "typed-scheme" "unstable" "version" "waterworld" "web-server" "wxme" "xml"))
 >>
 >> Computer Language: (("Determine language from source") (#(#t print mixed-fraction-e #f #t debug) (default) #() "#lang racket\n" #t #t))
 >>
 >>
 >
 >
 >
 > --
 > sam th
 > samth at ccs.neu.edu
 >
 
From: Sam Tobin-Hochstadt <samth at ccs.neu.edu>
To: Robby Findler <robby at eecs.northwestern.edu>,
        Eli Barzilay <eli at barzilay.org>
Cc: matthias at ccs.neu.edu, bugs at racket-lang.org, nobody at racket-lang.org,
        bug-notification at racket-lang.org
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Mon, 28 Feb 2011 20:35:24 -0500

 On Mon, Feb 28, 2011 at 7:40 PM, Robby Findler
 <robby at eecs.northwestern.edu> wrote:
 > Can you say more? DO you know if it is a check syntax bug specifically
 > or if it is something that check syntax needs more help at the
 > low-level for?
 
 I don't know the answer to this, but I think Eli (the author of many
 of the require macros) looked into this, and can maybe say more.
 
 > Is there another PR?
 
 10455 and maybe others.
 
 >
 > Thanks,
 > Robby
 >
 > On Mon, Feb 28, 2011 at 6:39 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
 >> This is a long-standing problem with all `require' macros.
 >>
 >> On Mon, Feb 28, 2011 at 6:24 PM,  <matthias at ccs.neu.edu> wrote:
 >>> A new problem report is waiting at
 >>>  http://bugs.racket-lang.org/query/?cmd=view&pr=11778
 >>>
 >>> Reported by matthias for release: 5.1.0.2--2011-02-22(83b00c0/g)
 >>>
 >>> *** Description:
 >>> If "foo.rkt" exports x and the following module is located
 >>> 'below' foo.rkt, then check-syntax on this module does not
 >>> connect foo.rkt and x (though it does seem to know that things
 >>> are imported from some module.)
 >>>
 >>> #lang racket
 >>> (require racket/require) (require (path-up "foo.rkt"))
 >>> x
 >>>
 >>> *** How to repeat:
 >>>
 >>>
 >>> *** Environment:
 >>> macosx "Darwin africa.local 10.6.0 Darwin Kernel Version 10.6.0: Wed Nov 10 18:13:17 PST 2010; root:xnu-1504.9.26~3/RELEASE_I386 i386" (i386-macosx/3m) (get-display-depth) = 32
 >>> Human Language: english
 >>> (current-memory-use) 213833252
 >>>
 >>> Collections:
 >>> ("/Users/matthias/0Unison/collects/"
 >>>  ("._.DS_Store" ".DS_Store" "compiled" "date" "finance" "info-domain" "info.ss" "pdf.ss~" "session" "short" "testing" "tll-collects" "utils" "web"))
 >>> ("/Users/matthias/Library/Racket/5.1.0.2/collects"
 >>>  (non-existent-path))
 >>> ("/Users/matthias/plt/collects"
 >>>  (".gitignore" "2htdp" "afm" "algol60" "at-exp" "browser" "combinator-parser" "compiler" "config" "data" "datalog" "defaults" "deinprogramm" "drracket" "drscheme" "dynext" "embedded-gui" "eopl" "errortrace" "ffi" "file" "framework" "frtime" "games" "graphics" "gui-debugger" "guibuilder" "handin-client" "handin-server" "help" "hierlist" "honu" "htdp" "html" "icons" "info-domain" "lang" "launcher" "lazy" "macro-debugger" "make" "meta" "mred" "mrlib" "mysterx" "mz" "mzcom" "mzlib" "mzscheme" "net" "openssl" "parser-tools" "picturing-programs" "plai" "planet" "plot" "preprocessor" "profile" "r5rs" "r6rs" "racket" "racklog" "rackunit" "raclog" "raco" "racunit" "reader" "readline" "redex" "repo-time-stamp" "repos-time-stamp" "rnrs" "s-exp" "schelog" "scheme" "schemeunit" "scribble" "scribblings" "scriblib" "setup" "sgl" "sirmail" "slatex" "slideshow" "srfi" "srpersist" "stepper" "string-constants" "swindle" "syntax" "syntax-color" "teachpack" "test-box-recovery" "test-engine" "tes!
 >>>  ts" "tex2page" "texpict" "tool" "trace" "typed" "typed-scheme" "unstable" "version" "waterworld" "web-server" "wxme" "xml"))
 >>>
 >>> Computer Language: (("Determine language from source") (#(#t print mixed-fraction-e #f #t debug) (default) #() "#lang racket\n" #t #t))
 >>>
 >>>
 >>
 >>
 >>
 >> --
 >> sam th
 >> samth at ccs.neu.edu
 >>
 >
 
 
 
 -- 
 sam th
 samth at ccs.neu.edu
 
From: Eli Barzilay <eli at barzilay.org>
To: Sam Tobin-Hochstadt <samth at ccs.neu.edu>
Cc: Robby Findler <robby at eecs.northwestern.edu>, matthias at ccs.neu.edu,
        bugs at racket-lang.org, nobody at racket-lang.org,
        bug-notification at racket-lang.org
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Mon, 28 Feb 2011 20:39:26 -0500

 Four minutes ago, Sam Tobin-Hochstadt wrote:
 > On Mon, Feb 28, 2011 at 7:40 PM, Robby Findler
 > <robby at eecs.northwestern.edu> wrote:
 > > Can you say more? DO you know if it is a check syntax bug
 > > specifically or if it is something that check syntax needs more
 > > help at the low-level for?
 > 
 > I don't know the answer to this, but I think Eli (the author of many
 > of the require macros) looked into this, and can maybe say more.
 
 I don't think that I looked into it.  (I didn't even remember that
 there was a problem.)
 
 -- 
           ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                     http://barzilay.org/                   Maze is Life!
From: Matthias Felleisen <matthias at ccs.neu.edu>
To: Eli Barzilay <eli at barzilay.org>
Cc: Sam Tobin-Hochstadt <samth at ccs.neu.edu>,
        Robby Findler <robby at eecs.northwestern.edu>, bugs at racket-lang.org,
        nobody at racket-lang.org, bug-notification at racket-lang.org
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Mon, 28 Feb 2011 21:20:48 -0500

 Then perhaps it's time to assign yourself the bug report. Thanks. 
 
 
 On Feb 28, 2011, at 8:39 PM, Eli Barzilay wrote:
 
 > Four minutes ago, Sam Tobin-Hochstadt wrote:
 >> On Mon, Feb 28, 2011 at 7:40 PM, Robby Findler
 >> <robby at eecs.northwestern.edu> wrote:
 >>> Can you say more? DO you know if it is a check syntax bug
 >>> specifically or if it is something that check syntax needs more
 >>> help at the low-level for?
 >> 
 >> I don't know the answer to this, but I think Eli (the author of many
 >> of the require macros) looked into this, and can maybe say more.
 > 
 > I don't think that I looked into it.  (I didn't even remember that
 > there was a problem.)
 > 
 > -- 
 >          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
 >                    http://barzilay.org/                   Maze is Life!
 
From: Eli Barzilay <eli at barzilay.org>
To: Matthias Felleisen <matthias at ccs.neu.edu>
Cc: Sam Tobin-Hochstadt <samth at ccs.neu.edu>,
        Robby Findler <robby at eecs.northwestern.edu>, bugs at racket-lang.org,
        nobody at racket-lang.org, bug-notification at racket-lang.org
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Mon, 28 Feb 2011 21:25:06 -0500

 Three minutes ago, Matthias Felleisen wrote:
 > 
 > Then perhaps it's time to assign yourself the bug report. Thanks. 
 
 I have never done anything related to check syntax.
 
 -- 
           ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                     http://barzilay.org/                   Maze is Life!
From: Robby Findler <robby at eecs.northwestern.edu>
To: Eli Barzilay <eli at barzilay.org>
Cc: Matthias Felleisen <matthias at ccs.neu.edu>,
        Sam Tobin-Hochstadt <samth at ccs.neu.edu>, bugs at racket-lang.org,
        nobody at racket-lang.org, bug-notification at racket-lang.org
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Mon, 28 Feb 2011 20:38:07 -0600

 It's definitely my bug; I just thought that maybe the detective work
 that I was contemplating had already been done.
 
 Robby
 
 On Mon, Feb 28, 2011 at 8:25 PM, Eli Barzilay <eli at barzilay.org> wrote:
 > Three minutes ago, Matthias Felleisen wrote:
 >>
 >> Then perhaps it's time to assign yourself the bug report. Thanks.
 >
 > I have never done anything related to check syntax.
 >
 > --
 >          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
 >                    http://barzilay.org/                   Maze is Life!
 >
 
From: Eli Barzilay <eli at barzilay.org>
To: Robby Findler <robby at eecs.northwestern.edu>
Cc: Matthias Felleisen <matthias at ccs.neu.edu>,
        Sam Tobin-Hochstadt <samth at ccs.neu.edu>, bugs at racket-lang.org,
        nobody at racket-lang.org, bug-notification at racket-lang.org
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Mon, 28 Feb 2011 21:41:52 -0500

 Three minutes ago, Robby Findler wrote:
 > It's definitely my bug; I just thought that maybe the detective work
 > that I was contemplating had already been done.
 
 [I'd offer to help chasing down whatever the problem in my macro can
 be, but given Ryan's PR for the more primitive ones it looks like
 something more general.]
 
 -- 
           ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                     http://barzilay.org/                   Maze is Life!
From: Robby Findler <robby at eecs.northwestern.edu>
To: Eli Barzilay <eli at barzilay.org>
Cc: Matthias Felleisen <matthias at ccs.neu.edu>,
        Sam Tobin-Hochstadt <samth at ccs.neu.edu>, bugs at racket-lang.org,
        nobody at racket-lang.org, bug-notification at racket-lang.org
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Mon, 28 Feb 2011 20:47:35 -0600

 If you have the energy to make a simple version of your macro with the
 same issues, that would be helpful.
 
 Robby
 
 On Mon, Feb 28, 2011 at 8:41 PM, Eli Barzilay <eli at barzilay.org> wrote:
 > Three minutes ago, Robby Findler wrote:
 >> It's definitely my bug; I just thought that maybe the detective work
 >> that I was contemplating had already been done.
 >
 > [I'd offer to help chasing down whatever the problem in my macro can
 > be, but given Ryan's PR for the more primitive ones it looks like
 > something more general.]
 >
 > --
 >          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
 >                    http://barzilay.org/                   Maze is Life!
 >
 
From: Robby Findler <robby at eecs.northwestern.edu>
To: Eli Barzilay <eli at barzilay.org>
Cc: Matthias Felleisen <matthias at ccs.neu.edu>,
        Sam Tobin-Hochstadt <samth at ccs.neu.edu>, bugs at racket-lang.org,
        nobody at racket-lang.org, bug-notification at racket-lang.org
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Mon, 28 Feb 2011 20:48:21 -0600

 The PR from Ryan could be something different; some of that is check
 syntax not dealing with all the primitive prefixing and whatnot that
 #%require can do -- this could be a different issue. Maybe.
 
 Robby
 
 On Mon, Feb 28, 2011 at 8:47 PM, Robby Findler
 <robby at eecs.northwestern.edu> wrote:
 > If you have the energy to make a simple version of your macro with the
 > same issues, that would be helpful.
 >
 > Robby
 >
 > On Mon, Feb 28, 2011 at 8:41 PM, Eli Barzilay <eli at barzilay.org> wrote:
 >> Three minutes ago, Robby Findler wrote:
 >>> It's definitely my bug; I just thought that maybe the detective work
 >>> that I was contemplating had already been done.
 >>
 >> [I'd offer to help chasing down whatever the problem in my macro can
 >> be, but given Ryan's PR for the more primitive ones it looks like
 >> something more general.]
 >>
 >> --
 >>          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
 >>                    http://barzilay.org/                   Maze is Life!
 >>
 >
 
From: Eli Barzilay <eli at barzilay.org>
To: Robby Findler <robby at eecs.northwestern.edu>
Cc: Matthias Felleisen <matthias at ccs.neu.edu>,
        Sam Tobin-Hochstadt <samth at ccs.neu.edu>, bugs at racket-lang.org,
        nobody at racket-lang.org, bug-notification at racket-lang.org
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Mon, 28 Feb 2011 22:05:20 -0500

 10 minutes ago, Robby Findler wrote:
 > The PR from Ryan could be something different; some of that is check
 > syntax not dealing with all the primitive prefixing and whatnot that
 > #%require can do -- this could be a different issue. Maybe.
 
 Looks like there are two issue.  The first is new, and looks like some
 technical gui level problem:
 
   * I use this text:
 
     #lang racket/base
     (require racket/base racket/list)
     take
     car
 
   * Click check syntax, no arrows appear
 
   * Right click `take' or `car', and choose the tack/untack arrow --
     the arrows appear.
 
 This seems to be a new problem -- I don't see it in 5.0.2.
 
 
 The other problem, which `path-up' exhibits, is most likely related to
 Ryan's PR, since it expands to `combine-in' and Ryan mentioned that.
 Seeing this problem now is difficult due to the above, but I just
 used:
 
     #lang racket/base
     (require (combine-in racket/list))
     take
 
 and used the tack/untack menu entry, and no arrow appears.
 
 (It looks like there's something else broken in the right-clicking
 thing, I sometimes don't get that menu entry, and sometimes I get the
 identifier highlighted with some light yellowish background.)
 
 -- 
           ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                     http://barzilay.org/                   Maze is Life!
From: Robby Findler <robby at eecs.northwestern.edu>
To: Eli Barzilay <eli at barzilay.org>
Cc: Matthias Felleisen <matthias at ccs.neu.edu>,
        Sam Tobin-Hochstadt <samth at ccs.neu.edu>, bugs at racket-lang.org,
        nobody at racket-lang.org, bug-notification at racket-lang.org
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Mon, 28 Feb 2011 21:22:29 -0600

 Thanks.
 
 (The light yellowish background means that there are docs; right click
 to get to them.)
 
 On Mon, Feb 28, 2011 at 9:05 PM, Eli Barzilay <eli at barzilay.org> wrote:
 > 10 minutes ago, Robby Findler wrote:
 >> The PR from Ryan could be something different; some of that is check
 >> syntax not dealing with all the primitive prefixing and whatnot that
 >> #%require can do -- this could be a different issue. Maybe.
 >
 > Looks like there are two issue.  The first is new, and looks like some
 > technical gui level problem:
 >
 >  * I use this text:
 >
 >    #lang racket/base
 >    (require racket/base racket/list)
 >    take
 >    car
 >
 >  * Click check syntax, no arrows appear
 >
 >  * Right click `take' or `car', and choose the tack/untack arrow --
 >    the arrows appear.
 >
 > This seems to be a new problem -- I don't see it in 5.0.2.
 >
 >
 > The other problem, which `path-up' exhibits, is most likely related to
 > Ryan's PR, since it expands to `combine-in' and Ryan mentioned that.
 > Seeing this problem now is difficult due to the above, but I just
 > used:
 >
 >    #lang racket/base
 >    (require (combine-in racket/list))
 >    take
 >
 > and used the tack/untack menu entry, and no arrow appears.
 >
 > (It looks like there's something else broken in the right-clicking
 > thing, I sometimes don't get that menu entry, and sometimes I get the
 > identifier highlighted with some light yellowish background.)
 >
 > --
 >          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
 >                    http://barzilay.org/                   Maze is Life!
 >
 
From: Eli Barzilay <eli at barzilay.org>
To: Robby Findler <robby at eecs.northwestern.edu>,
        Matthias Felleisen <matthias at ccs.neu.edu>,
        Sam Tobin-Hochstadt <samth at ccs.neu.edu>, bugs at racket-lang.org,
        nobody at racket-lang.org, bug-notification at racket-lang.org
Cc: 
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Mon, 28 Feb 2011 22:29:49 -0500

 10 minutes ago, Eli Barzilay wrote:
 > 10 minutes ago, Robby Findler wrote:
 > > The PR from Ryan could be something different; some of that is check
 > > syntax not dealing with all the primitive prefixing and whatnot that
 > > #%require can do -- this could be a different issue. Maybe.
 > 
 > Looks like there are two issue.  The first is new, and looks like some
 > technical gui level problem:
 > 
 >   * I use this text:
 > 
 >     #lang racket/base
 >     (require racket/base racket/list)
 >     take
 >     car
 > 
 >   * Click check syntax, no arrows appear
 > 
 >   * Right click `take' or `car', and choose the tack/untack arrow --
 >     the arrows appear.
 > 
 > This seems to be a new problem -- I don't see it in 5.0.2.
 
 After more experiments -- this is some redraw problem.  If I hover
 over an identifier and then switch my workspace back and forth (to
 force a redraw) I do see the arrow.
 
 > (It looks like there's something else broken in the right-clicking
 > thing, I sometimes don't get that menu entry, and sometimes I get the
 > identifier highlighted with some light yellowish background.)
 
 (And this is probably related to the above, since that background
 appears when I force a refresh as above.)
 
 
 > The other problem, which `path-up' exhibits, is most likely related
 > to Ryan's PR, since it expands to `combine-in' and Ryan mentioned
 > that.  Seeing this problem now is difficult due to the above, but I
 > just used:
 > 
 >     #lang racket/base
 >     (require (combine-in racket/list))
 >     take
 > 
 > and used the tack/untack menu entry, and no arrow appears.
 
 Here's a simple version, uses `make-require-transformer' and a trivial
 transformer.
 
   #lang racket/base
   (require (for-syntax racket/base racket/require-transform))
   (define-syntax my-in
     (make-require-transformer
      (lambda (stx) (syntax-case stx () [(_ in) (expand-import #'in)]))))
   (require (my-in racket/list))
   take
 
 I thought that there might be some issue with `expand-import', so I
 expanded and simplified the code, which gets the below -- but that
 doesn't look like a helpful direction, so I'll stop here.
 
   #lang racket/base
   (require (for-syntax racket/base racket/require-transform))
   (define-syntax my-in
     (make-require-transformer
      (lambda (stx)
        (syntax-case stx ()
          [(_ in)
           (let* ([in #'in]
                  [mod-path (syntax->datum in)]
                  [namess (syntax-local-module-exports in)])
             (values
              (apply
               append
               (map (lambda (names)
                      (let ([mode (car names)])
                        (map (lambda (name)
                               (make-import (datum->syntax in name in)
                                            name mod-path mode 0 mode in))
                             (cdr names))))
                    namess))
              (list (make-import-source in 0))))]))))
   (require (my-in racket/list))
   take
 
 
 -- 
           ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                     http://barzilay.org/                   Maze is Life!

From: Sam Tobin-Hochstadt <samth at ccs.neu.edu>
To: Eli Barzilay <eli at barzilay.org>
Cc: Robby Findler <robby at eecs.northwestern.edu>,
        Matthias Felleisen <matthias at ccs.neu.edu>, bugs at racket-lang.org,
        nobody at racket-lang.org, bug-notification at racket-lang.org
Subject: Re: [racket-bug] all/11778: check syntax does not work with path-up
Date: Wed, 17 Aug 2011 16:22:13 -0400

 On Mon, Feb 28, 2011 at 10:29 PM, Eli Barzilay <eli at barzilay.org> wrote:
 > 10 minutes ago, Eli Barzilay wrote:
 >> The other problem, which `path-up' exhibits, is most likely related
 >> to Ryan's PR, since it expands to `combine-in' and Ryan mentioned
 >> that.  Seeing this problem now is difficult due to the above, but I
 >> just used:
 >>
 >>     #lang racket/base
 >>     (require (combine-in racket/list))
 >>     take
 >>
 >> and used the tack/untack menu entry, and no arrow appears.
 >
 > Here's a simple version, uses `make-require-transformer' and a trivial
 > transformer.
 >
 >  #lang racket/base
 >  (require (for-syntax racket/base racket/require-transform))
 >  (define-syntax my-in
 >    (make-require-transformer
 >     (lambda (stx) (syntax-case stx () [(_ in) (expand-import #'in)]))))
 >  (require (my-in racket/list))
 >  take
 
 Now that we're all running Check Syntax all the time, I'm bothered a
 lot more by this bug, so I hope we can fix it.  The below program
 seems simpler, and demonstrates the same problem (I think).
 
 #lang racket/base
 (require (for-syntax racket/base))
 (define-syntax (m stx)
   #`(#%require (just-meta 0 (rename racket/list
 #,(syntax-local-introduce #'take) take))))
 (m)
 take
 
 If I change `m' to:
 
 (define-syntax (m stx)
   #`(#%require (just-meta 0 #,(syntax-local-introduce #`(rename
 racket/list take take)))))
 
 Then the arrows work as desired.
 -- 
 sam th
 samth at ccs.neu.edu