Re: [racket] Error when they use "programmatic" pkg

2013-10-25 Thread Ryan Newton
This was indeed to help students using Windows. I was not aware of the option in the menu! That works great -- I confirmed with the students. We'll tell them to use that. (Sent from my mobile phone) On Oct 24, 2013 5:05 PM, "Matthew Flatt" wrote: > At Thu, 24 Oct 2013 16:42:48 -0400, Sam Tobi

Re: [racket] Error when they use "programmatic" pkg

2013-10-24 Thread John Clements
On Oct 24, 2013, at 1:10 PM, Robby Findler wrote: > Matthew reminded me of an old thread on this topic: > > http://lists.racket-lang.org/dev/archive/2013-February/011741.html > > Two points worth mentioning here. > > Ryan & John: can you use the GUI package manager to install a package inste

Re: [racket] Error when they use "programmatic" pkg

2013-10-24 Thread Matthew Flatt
At Thu, 24 Oct 2013 16:42:48 -0400, Sam Tobin-Hochstadt wrote: > On Thu, Oct 24, 2013 at 4:10 PM, Robby Findler > wrote: > > Ryan & John: can you use the GUI package manager to install a package > > instead of writing a program in the drracket window that does it, at least > > for now? > > Just t

Re: [racket] Error when they use "programmatic" pkg

2013-10-24 Thread Sam Tobin-Hochstadt
On Thu, Oct 24, 2013 at 4:10 PM, Robby Findler wrote: > Ryan & John: can you use the GUI package manager to install a package > instead of writing a program in the drracket window that does it, at least > for now? Just to speak for Ryan here, he's using 5.3.6 currently for his students, and thus

Re: [racket] Error when they use "programmatic" pkg

2013-10-24 Thread Robby Findler
Try using the "gracket" executable maybe? (I didn't try it, but it should be more like using plain 'racket') Robby On Thu, Oct 24, 2013 at 3:42 PM, Sam Tobin-Hochstadt wrote: > On Thu, Oct 24, 2013 at 4:10 PM, Robby Findler > wrote: > > Ryan & John: can you use the GUI package manager to insta

Re: [racket] Error when they use "programmatic" pkg

2013-10-24 Thread Robby Findler
I think we're struggling at the moment with what the predicate we want to check is, tho. (That is, I feel like we can deal with errors or alerts or whatever, once we decide what should trigger them.) Robby On Thu, Oct 24, 2013 at 3:35 PM, Laurent wrote: > Independently of how difficult it is t

Re: [racket] Error when they use "programmatic" pkg

2013-10-24 Thread Laurent
Independently of how difficult it is to do this, another possibility is to ask for permission as the program is run. But then you may have the problem that some users (read: students) may actually not know that they don't know what they are doing. There could also be a checkbox somewhere to allow f

Re: [racket] Error when they use "programmatic" pkg

2013-10-24 Thread Robby Findler
Matthew reminded me of an old thread on this topic: http://lists.racket-lang.org/dev/archive/2013-February/011741.html Two points worth mentioning here. Ryan & John: can you use the GUI package manager to install a package instead of writing a program in the drracket window that does it, at le

Re: [racket] Error when they use "programmatic" pkg

2013-10-24 Thread Robby Findler
Jay and I have talked offline and apparently this is something that came up before and so I'm now back on track trying to understand and fix the underlying problem. Robby On Thu, Oct 24, 2013 at 1:47 PM, John Clements wrote: > > On Oct 24, 2013, at 7:28 AM, Robby Findler wrote: > > > This does

Re: [racket] Error when they use "programmatic" pkg

2013-10-24 Thread John Clements
On Oct 24, 2013, at 7:28 AM, Robby Findler wrote: > This doesn't sound great. Can you explain more what you mean here about > programs not being able to run in DrRacket, please? +1 ... I was hoping to be able to tell Windows users to run programs like this, as opposed to using Command Prompt.e

Re: [racket] Error when they use "programmatic" pkg

2013-10-24 Thread Sam Tobin-Hochstadt
On Thu, Oct 24, 2013 at 10:19 AM, Jay McCarthy wrote: > Hi Ryan, > > I presume that you ran that program in DrRacket. Yes, that's correct, and that's how I reproduced it on my machine as well. > DrRacket can't run all Racket programs, such as those that modify the > installation, due to the way

Re: [racket] Error when they use "programmatic" pkg

2013-10-24 Thread Robby Findler
This doesn't sound great. Can you explain more what you mean here about programs not being able to run in DrRacket, please? Robby On Thu, Oct 24, 2013 at 9:19 AM, Jay McCarthy wrote: > Hi Ryan, > > I presume that you ran that program in DrRacket. > > DrRacket can't run all Racket programs, such

Re: [racket] Error when they use "programmatic" pkg

2013-10-24 Thread Jay McCarthy
Hi Ryan, I presume that you ran that program in DrRacket. DrRacket can't run all Racket programs, such as those that modify the installation, due to the way it changes how compilation and evaluation works. The GUI package manager in DrRacket will work, however, because it runs on DrRacket's privi

[racket] Error when they use "programmatic" pkg

2013-10-23 Thread Ryan Newton
Here's the reproducer: (require pkg) (install "github://github.com/iu-c211/c211-libs/master") The error comes in the documentation building phase, for example: link: bad variable linkage; reference to a variable that has the wrong procedure or structure-type shape reference phase level: 0 v