Re: [racket-users] http connection errors on pkg-build

2015-08-01 Thread Matthew Flatt
This was a problem with the pkg-build service, now fixed (commit bf76ced8ba in the Racket repo). The problem caused the download of Pollen on the build machine to fail, which caused the installation attempt on the network-isolated machine to fail (i.e,. it shouldn't have needed to contact github.c

[racket-users] [Call For Participation] Scheme and Functional Programming Workshop 2015

2015-08-01 Thread Andy Keep
Call For Participation: Scheme and Functional Programming Workshop 2015 Vancouver, British Columbia, Canada (Co-located with ICFP 2015) http://andykeep.com/SchemeWorkshop2015/ ==

Re: [racket-users] keep everything in each in-place install

2015-08-01 Thread Matthew Flatt
Are you seeing conflicts with different installations that have the same version number? Or different snapshot installations? Two settings can help keep installations separate: * Configure packages for "installtion" scope instead of "user" scope by default. You can check the current defau

[racket-users] Distinct instantiations of modules

2015-08-01 Thread Jos Koot
Some (I think many) modules define struct types and provide the constructors and predicates of these structs. A predicate of an instance of such a module does not recognize a struct made by a distinct instance of the same module. For example: #lang racket (module a racket (define ns (make-base-n

[racket-users] keep everything in each in-place install

2015-08-01 Thread Sanjeev Sharma
I am getting conflicts between the global install and in-place installs, especially in document searches not working. I'm guessing the issue is with user preferences. Is there a way to do the in-place install such that everything gets put in the in-place install's tree? -- You received this

Re: [racket-users] http connection errors on pkg-build

2015-08-01 Thread mb
I don't know if that's a separate error. I've assumed that it's a side effect of the build failing (= no docs end up where they're expected to be) On Saturday, August 1, 2015 at 9:02:43 AM UTC-7, Andrew Gwozdziewycz wrote: > Possibly related? http://pkg-build.racket-lang.org/doc/pollen fails wit

Re: [racket-users] Re: is this a bug?

2015-08-01 Thread Ian Tegebo
On Wednesday, July 29, 2015 at 8:17:06 AM UTC-7, Michael Titke wrote: > (define (apply-or well-formed-list) > >   (foldl {lambda (a b) (or a b)} > > #f > > well-formed-list)) > > (define (apply-and well-formed-list) > >   (foldl {lambda (a b) (and a b)

Re: [racket-users] http connection errors on pkg-build

2015-08-01 Thread Andrew Gwozdziewycz
Possibly related? http://pkg-build.racket-lang.org/doc/pollen fails with a 403 forbidden. Maybe some s3 permissions changed? On August 1, 2015 8:54:11 AM PDT, Matthew Butterick wrote: >For the last couple of days my pollen builds have failed with this >"connection failed" error. I don't see any

[racket-users] http connection errors on pkg-build

2015-08-01 Thread Matthew Butterick
For the last couple of days my pollen builds have failed with this "connection failed" error. I don't see any other packages failing to download from GitHub, suggesting it's my fault. OTOH the supposedly defective URL works fine, so I'm not sure how to make the build server happier. Downloading