[racket-dev] looks like pkg.racket-lang.org is hanging after making the connection again.
I'm once again seeing pkg.racket-lang.org hanging after making the connection. Here's the transcript: curl -v --insecure 'https://pkg.racket-lang.org/' * About to connect() to pkg.racket-lang.org port 443 (#0) * Trying 128.187.105.226... * connected * Connected to pkg.racket-lang.org (128.187.105.226) port 443 (#0) * successfully set certificate verify locations: * CAfile: /opt/local/share/curl/curl-ca-bundle.crt CApath: none * SSLv3, TLS handshake, Client hello (1): * SSLv3, TLS handshake, Server hello (2): * SSLv3, TLS handshake, CERT (11): * SSLv3, TLS handshake, Server key exchange (12): * SSLv3, TLS handshake, Server finished (14): * SSLv3, TLS handshake, Client key exchange (16): * SSLv3, TLS change cipher, Client hello (1): * SSLv3, TLS handshake, Finished (20): * SSLv3, TLS change cipher, Client hello (1): * SSLv3, TLS handshake, Finished (20): * SSL connection using DHE-RSA-AES256-SHA * Server certificate: *subject: description=OgMQW8ooep0z88Ml; C=US; CN=pkg.racket-lang.org; emailAddress=hostmas...@racket-lang.org *start date: 2013-01-22 05:29:13 GMT *expire date: 2014-01-23 10:12:52 GMT *subjectAltName: pkg.racket-lang.org matched *issuer: C=IL; O=StartCom Ltd.; OU=Secure Digital Certificate Signing; CN=StartCom Class 1 Primary Intermediate Server CA *SSL certificate verify result: unable to get local issuer certificate (20), continuing anyway. GET / HTTP/1.1 User-Agent: curl/7.25.0 (x86_64-apple-darwin11.3.0) libcurl/7.25.0 OpenSSL/1.0.1e zlib/1.2.8 libidn/1.22 Host: pkg.racket-lang.org Accept: */* ... and then it just waits at this point, until I give up. John _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] looks like pkg.racket-lang.org is hanging after making the connection again.
Thanks John. In the future, this means that something is broken and the machine needs to be kicked. I normally do it and Matthew sometimes does. But we were both in an airplane this morning. There's no need to try to debug when it fails, I get notified very quickly and respond ASAP. Jay On Mon, Sep 30, 2013 at 10:58 AM, John Clements cleme...@brinckerhoff.org wrote: I'm once again seeing pkg.racket-lang.org hanging after making the connection. Here's the transcript: curl -v --insecure 'https://pkg.racket-lang.org/' * About to connect() to pkg.racket-lang.org port 443 (#0) * Trying 128.187.105.226... * connected * Connected to pkg.racket-lang.org (128.187.105.226) port 443 (#0) * successfully set certificate verify locations: * CAfile: /opt/local/share/curl/curl-ca-bundle.crt CApath: none * SSLv3, TLS handshake, Client hello (1): * SSLv3, TLS handshake, Server hello (2): * SSLv3, TLS handshake, CERT (11): * SSLv3, TLS handshake, Server key exchange (12): * SSLv3, TLS handshake, Server finished (14): * SSLv3, TLS handshake, Client key exchange (16): * SSLv3, TLS change cipher, Client hello (1): * SSLv3, TLS handshake, Finished (20): * SSLv3, TLS change cipher, Client hello (1): * SSLv3, TLS handshake, Finished (20): * SSL connection using DHE-RSA-AES256-SHA * Server certificate: *subject: description=OgMQW8ooep0z88Ml; C=US; CN=pkg.racket-lang.org; emailAddress=hostmas...@racket-lang.org *start date: 2013-01-22 05:29:13 GMT *expire date: 2014-01-23 10:12:52 GMT *subjectAltName: pkg.racket-lang.org matched *issuer: C=IL; O=StartCom Ltd.; OU=Secure Digital Certificate Signing; CN=StartCom Class 1 Primary Intermediate Server CA *SSL certificate verify result: unable to get local issuer certificate (20), continuing anyway. GET / HTTP/1.1 User-Agent: curl/7.25.0 (x86_64-apple-darwin11.3.0) libcurl/7.25.0 OpenSSL/1.0.1e zlib/1.2.8 libidn/1.22 Host: pkg.racket-lang.org Accept: */* ... and then it just waits at this point, until I give up. John -- Jay McCarthy j...@cs.byu.edu Assistant Professor / Brigham Young University http://faculty.cs.byu.edu/~jay The glory of God is Intelligence - DC 93 _ Racket Developers list: http://lists.racket-lang.org/dev
[racket-dev] with-syntax and #:with are not compatible
The following program errors: #lang racket/base (require (for-syntax racket/base syntax/parse)) (define-syntax (a1 stx) (syntax-parse stx [(_ b) (with-syntax ([x 5]) #'(+ b x))])) (a1 7) (define-syntax (a2 stx) (syntax-parse stx [(_ b) #:with x 5 #'(+ b x)])) (a2 7) The cause is that with-syntax has the following behavior: if any individual stx-expr produces a non-syntax object, then it is converted to one using datum-syntax and the lexical context and source location of the individual stx-expr. meaning that inside of with-syntax there is something like (datum-syntax #'5 5) In contrast, #:with does not document what it does in this situation, merely that If the value of stx-expr is not a syntax object, it is implicitly converted to a syntax object. If we look at the implementation, L182 of syntax/parse/private/residual we see: (datum-syntax #f x #f) However, I do not believe it is enough to change this too something like (datum-syntax x x #f) Because calls such as L684 in syntax/parse/private/parse do not bind x to the user's code, but to something from the implementation of syntax parse. I believe this inconsistency between #:with and with-syntax is an error and should be fixed, but I do not feel that I understand all the ways to flow to this code, so I implore Ryan to change it. Jay -- Jay McCarthy j...@cs.byu.edu Assistant Professor / Brigham Young University http://faculty.cs.byu.edu/~jay The glory of God is Intelligence - DC 93 _ Racket Developers list: http://lists.racket-lang.org/dev