Re: [racket-dev] , en and enter! sometimes do nothing, and it's changing over releases?

2013-02-10 Thread Eli Barzilay
9 hours ago, Greg Hendershott wrote: > I'm inclined to add a new command to XREPL that takes that approach, > to experiment. I was spelunking in DrRacket source but I'm slow to > isolate that from what else is going on. It sounds like you > understand it; is there a code sample you could share? I'

Re: [racket-dev] , en and enter! sometimes do nothing, and it's changing over releases?

2013-02-10 Thread Jose A. Ortega Ruiz
On Mon, Feb 11 2013, Eli Barzilay wrote: > An hour ago, Ray Racine wrote: >> Yes, the Geiser server is meta to the target namespace and evals the sent >> form >> in target namespace. >> >> racket/enter.rkt does inject  >> >> ;; Injecting racket/enter into the namespace to allow entering another

Re: [racket-dev] , en and enter! sometimes do nothing, and it's changing over releases?

2013-02-10 Thread Eli Barzilay
An hour ago, Ray Racine wrote: > Yes, the Geiser server is meta to the target namespace and evals the sent form > in target namespace. > > racket/enter.rkt does inject  > > ;; Injecting racket/enter into the namespace to allow entering another module >  (unless (memq '#:dont-re-require-enter flag

Re: [racket-dev] , en and enter! sometimes do nothing, and it's changing over releases?

2013-02-10 Thread Eli Barzilay
An hour and a half ago, Asumu Takikawa wrote: > On 2013-02-10 05:57:52 -0700, Matthew Flatt wrote: > > Sorry that it has taken me so long to join in and that I overlooked the > > PR way back in September. > > Thanks for the fix! On a related note, should any of the following > interactions work? >

Re: [racket-dev] , en and enter! sometimes do nothing, and it's changing over releases?

2013-02-10 Thread Ray Racine
Yes, the Geiser server is meta to the target namespace and evals the sent form in target namespace. racket/enter.rkt does inject ;; Injecting racket/enter into the namespace to allow entering another module (unless (memq '#:dont-re-require-enter flags) (namespace-require 'racket/enter))) And I

Re: [racket-dev] , en and enter! sometimes do nothing, and it's changing over releases?

2013-02-10 Thread Asumu Takikawa
On 2013-02-10 05:57:52 -0700, Matthew Flatt wrote: > Sorry that it has taken me so long to join in and that I overlooked the > PR way back in September. Thanks for the fix! On a related note, should any of the following interactions work? $ racket Welcome to Racket v5.3.3.1. -> (enter! (submod sc

Re: [racket-dev] , en and enter! sometimes do nothing, and it's changing over releases?

2013-02-10 Thread Greg Hendershott
I'm inclined to add a new command to XREPL that takes that approach, to experiment. I was spelunking in DrRacket source but I'm slow to isolate that from what else is going on. It sounds like you understand it; is there a code sample you could share? On Sat, Feb 9, 2013 at 10:40 PM, Ray Racine wr

Re: [racket-dev] , en and enter! sometimes do nothing, and it's changing over releases?

2013-02-10 Thread Greg Hendershott
p.s. > 3rd and subsequent times: Does nothing (does not display "hi", just > shows the prompt again). I mean that's the case even if the file contents are changed and timestamp is touched. >From my (perhaps mis-) understanding of enter.rkt, this should be N/A -- it's not checking the timestamp o

Re: [racket-dev] , en and enter! sometimes do nothing, and it's changing over releases?

2013-02-10 Thread Greg Hendershott
Thank you, Matthew. Unfortunately even with that (I just rebuilt from HEAD), I'm experiencing an issue. Given: 1. https://github.com/greghendershott/rackjure installed as a collection. 2. A hello.rkt that's simply: #lang rackjure "hi" Then issuing repeated `(enter! "hello.rkt")` has t

Re: [racket-dev] , en and enter! sometimes do nothing, and it's changing over releases?

2013-02-10 Thread Eli Barzilay
Yesterday, Ray Racine wrote: > > So the goal is to have entering a module inject the proper typed or > untyped version of do-enter! by doing a namespace-require on either > "enter.rkt" or "typed-enter.rkt". To do that I need to query the > current-namespace as to whether the namespace language is

Re: [racket-dev] , en and enter! sometimes do nothing, and it's changing over releases?

2013-02-10 Thread Robby Findler
Well, there is a fundamental question about this strategy, namely *which* code do you reevaluate when a change is made? It isn't easy to determine that in general. Robby On Sun, Feb 10, 2013 at 8:33 AM, Ray Racine wrote: > That aligns with the Geiser comment. I'd gotten to the point where I w

Re: [racket-dev] , en and enter! sometimes do nothing, and it's changing over releases?

2013-02-10 Thread Ray Racine
That aligns with the Geiser comment. I'd gotten to the point where I was questioning the utility of having a custom enter-load/use-compiled as opposed create a base namespace, dynamic-require, module->namespace, current-namespace switch. Simpler, leverages existing functionality, far more robust

Re: [racket-dev] Experimenting with generics in TR

2013-02-10 Thread Sam Tobin-Hochstadt
What is the type of `ops-hash` intended to be here? Sam On Sat, Feb 9, 2013 at 9:27 PM, Neil Toronto wrote: > I'd like to play around with implementing generics or type classes in Typed > Racket, but without changing its internals, just to see what it takes. I > think I could get something prett

Re: [racket-dev] , en and enter! sometimes do nothing, and it's changing over releases?

2013-02-10 Thread Matthew Flatt
Sorry that it has taken me so long to join in and that I overlooked the PR way back in September. I think the problem is that `enter-load/use-compiled' doesn't follow the protocol for a load handler, which changed slightly for submodules. Specifically, if the second argument to the load handler is