Re: [racket-users] raco pkg install -> connection refused

2016-02-17 Thread Brian Adkins
On Wednesday, February 17, 2016 at 1:53:56 PM UTC-5, Matthew Flatt wrote: > At Wed, 17 Feb 2016 10:45:26 -0800 (PST), Brian Adkins wrote: > > On Wednesday, February 17, 2016 at 10:28:48 AM UTC-5, Ben Greenman wrote: > > > You should be able to install html-parsing now. > > > > I'm no longer

Re: [racket-users] raco pkg install -> connection refused

2016-02-17 Thread Matthew Flatt
At Wed, 17 Feb 2016 10:45:26 -0800 (PST), Brian Adkins wrote: > On Wednesday, February 17, 2016 at 10:28:48 AM UTC-5, Ben Greenman wrote: > > You should be able to install html-parsing now. > > I'm no longer getting connection refused, but now I'm getting a 403. This should be fixed now. --

Re: [racket-users] raco pkg install -> connection refused

2016-02-17 Thread Brian Adkins
On Wednesday, February 17, 2016 at 10:28:48 AM UTC-5, Ben Greenman wrote: > You should be able to install html-parsing now. I'm no longer getting connection refused, but now I'm getting a 403. $ raco pkg install html-parsing Resolving "html-parsing" via

Re: [racket-users] Which html-parsing package?

2016-02-17 Thread Neil Van Dyke
Sounds like the mysterious "we" are forking development, so could you please mention at the top of the documentation that it's a fork of my package, not maintained by me, and cite my original one? The ways I manage my open source contributions are often very intentional, and unfortunately

[racket-users] recursive definition of a PROPOSITION

2016-02-17 Thread Aysenur Türk
(define( app L1 L2) (if(empty? L1) L2 (cons (car L1) (app(cdr L1)L2 (app ((list "↔" "→" "∧" "⊕" "∨" "¬")) (list "P" "Q" "R" "S" "U" "X" "Y" "Z")) (define L (list "↔" "→" "∧" "⊕" "∨" "¬")) (define ( f L n) (if (= n 0) "p" (string-append "p" (car L) (f(cdr L) (- n 1) (f L

Re: [racket-users] Which html-parsing package?

2016-02-17 Thread Jay McCarthy
I recommend using the one on the package server (pkgs.racket-lang.org). It integrates more smoothly with the rest of Racket libraries. While it is out of date, there are not significant changes in the 3.0 version: "Numeric character entities now parse to Racket strings instead of Racket

Re: [racket-users] Which html-parsing package?

2016-02-17 Thread Neil Van Dyke
Brian Adkins wrote on 02/17/2016 10:35 AM: 1) May I suggest we remove the out of date html-parsing package from the main package catalog? Had I not had the hiccup with the catalog server, I likely would've installed the out of date package and not realize what I'd done. I understand, but

Re: [racket-users] Which html-parsing package?

2016-02-17 Thread Ryan Culpepper
On 02/17/2016 10:39 AM, Brian Adkins wrote: On Wednesday, February 17, 2016 at 10:35:44 AM UTC-5, Brian Adkins wrote: On Wednesday, February 17, 2016 at 10:20:21 AM UTC-5, Neil Van Dyke wrote: Brian Adkins wrote on 02/17/2016 10:04 AM: http://www.neilvandyke.org/racket-html-parsing/ takes me

Re: [racket-users] Which html-parsing package?

2016-02-17 Thread Brian Adkins
On Wednesday, February 17, 2016 at 10:35:44 AM UTC-5, Brian Adkins wrote: > On Wednesday, February 17, 2016 at 10:20:21 AM UTC-5, Neil Van Dyke wrote: > > Brian Adkins wrote on 02/17/2016 10:04 AM: > > > http://www.neilvandyke.org/racket-html-parsing/ > > > > > > takes me to Neil's page with a

Re: [racket-users] Hashtable type inference

2016-02-17 Thread Bert De Ketelaere
Weird, I thought I tried that, Anyway, now it works: Thank you Van: sam...@gmail.com namens Sam Tobin-Hochstadt Verzonden: woensdag 17 februari 2016 16:29 Aan: Bert De Ketelaere CC: us...@racket-lang.org

Re: [racket-users] Which html-parsing package?

2016-02-17 Thread Brian Adkins
On Wednesday, February 17, 2016 at 10:20:21 AM UTC-5, Neil Van Dyke wrote: > Brian Adkins wrote on 02/17/2016 10:04 AM: > > http://www.neilvandyke.org/racket-html-parsing/ > > > > takes me to Neil's page with a more recent history: PLaneT 3:0 — 2015-04-24 > > and the following require: > > > >

Re: [racket-users] Hashtable type inference

2016-02-17 Thread Sam Tobin-Hochstadt
The problem is unfortunately with Typed Racket heuristics that work very badly here. The fix is to add some annotations around the calls to `make-immutable-hash`, as in the version below. Sam #lang typed/racket/base (struct H ([I : (HashTable Integer Number)])) (define J (cast 1

Re: [racket-users] raco pkg install -> connection refused

2016-02-17 Thread Benjamin Greenman
You should be able to install html-parsing now. On Wed, Feb 17, 2016 at 9:32 AM, Matthew Flatt wrote: > A second problem is is that the package catalog is not supposed to > depend on that machine's uptime. That's a configuration mistake that we > will fix, too.

Re: [racket-users] Which html-parsing package?

2016-02-17 Thread Neil Van Dyke
Brian Adkins wrote on 02/17/2016 10:04 AM: http://www.neilvandyke.org/racket-html-parsing/ takes me to Neil's page with a more recent history: PLaneT 3:0 — 2015-04-24 and the following require: (require (planet neil/html-parsing:3:0)) Which package do I want? You might prefer that one,

[racket-users] Hashtable type inference

2016-02-17 Thread Bert De Ketelaere
Hello, I had some trouble finding my bugs in the following similar programs: #lang typed/racket/base (struct H ([I : (HashTable Integer Number)])) (define J (cast 1 Nonnegative-Integer)) (define K (H (make-immutable-hash (list (cons J J) (struct-copy H K [I (make-immutable-hash (list

[racket-users] Which html-parsing package?

2016-02-17 Thread Brian Adkins
I'm looking for an html parser that can handle real world web pages that are typically invalid (similar to Ruby's Nokogiri). I came across recommendations for the html-parsing package, so I went to: https://pkgs.racket-lang.org/ I couldn't find it via the parsing or parser tags, but using my

Re: [racket-users] raco pkg install -> connection refused

2016-02-17 Thread Matthew Flatt
A second problem is is that the package catalog is not supposed to depend on that machine's uptime. That's a configuration mistake that we will fix, too. Unfortunately, I haven't yet found a way to fix it before the machine is back up. At Wed, 17 Feb 2016 14:21:02 +, Sam Tobin-Hochstadt

Re: [racket-users] raco pkg install -> connection refused

2016-02-17 Thread Sam Tobin-Hochstadt
Yes, one of our machines failed to come back properly after a reboot to address the glibc security issue. We're working on fixing it. Sam On Wed, Feb 17, 2016 at 9:02 AM Brian Adkins wrote: > I'm trying to install the html-parsing package, and I'm getting a > connection

[racket-users] [CFP] Scheme and Functional Programming Workshop 2016

2016-02-17 Thread Alex Shinn
Call For Presentations 17th Annual Scheme and Functional Programming Workshop Nara, Japan (Co-located with ICFP 2016) 18 September 2016 http://scheme2016.snow-fort.org/ The 2016 Scheme and Functional Programming Workshop is

[racket-users] raco pkg install -> connection refused

2016-02-17 Thread Brian Adkins
I'm trying to install the html-parsing package, and I'm getting a connection refused error. Is this just a transient issue? $ raco pkg install html-parsing Resolving "html-parsing" via https://download.racket-lang.org/releases/6.4/catalog/ tcp-connect: connection failed address:

Re: [racket-users] DrRacket Coverage

2016-02-17 Thread Greg Hendershott
No. But I color only the foreground, if I'm understanding your question. On Tue, Feb 16, 2016 at 10:13 PM, Robby Findler wrote: > Thanks. That makes sense. Did you discount white space? > > Robby > > > On Tuesday, February 16, 2016, Greg Hendershott

Re: [racket-users] Re: (eqv? Racket-land Wonderland) -> #t

2016-02-17 Thread WarGrey Gyoudmon Ju
On Sun, Feb 14, 2016 at 8:10 PM, Saša Janiška wrote: > Neil Van Dyke writes: > > > Being non-mainstream for practitioners, Racket is most popular with > > people who have the freedom to choose any tools they want, not forced > > into a mainstream set of