blerner
2021-10-6 10:48:58

well ain’t this grand. now I’m getting your other issue — the certificate fails! Resolving "htdp-lib" via <https://downloads.racket-lang.org/release/8.2/catalog> ssl-connect: connect failed (error:1416F086:SSL routines:tls_process_server_certificate:certificate verify failed) context...: /usr/share/racket/collects/openssl/mzssl.rkt:606:0: error/network /usr/share/racket/collects/openssl/mzssl.rkt:1590:0: wrap-ports /usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 /usr/share/racket/collects/net/http-client.rkt:67:0: http-conn-open! /usr/share/racket/collects/net/http-client.rkt:274:0: http-conn-open /usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 /usr/share/racket/collects/net/url.rkt:202:0: <http://getpost-impure-port> /usr/share/racket/collects/net/url.rkt:305:0: get-pure-port/headers /usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3 /usr/share/racket/collects/pkg/private/network.rkt:59:3 /usr/share/racket/collects/pkg/private/catalog.rkt:218:0: read-from-server /usr/share/racket/collects/pkg/private/catalog.rkt:135:2: lookup-normally /usr/share/racket/collects/pkg/private/stage.rkt:61:2: lookup-normally /usr/share/racket/collects/pkg/private/prefetch.rkt:129:4 /usr/share/racket/collects/pkg/private/prefetch.rkt:128:2 /usr/share/racket/collects/pkg/private/../../racket/match/compiler.rkt:548:40: f568 ...


blerner
2021-10-6 10:52:30

@mflatt possibly need your help here?


blerner
2021-10-6 10:55:52

also possibly @asumu, since I have installed Racket via the PPA, and need to figure out how to clean it up…?


blerner
2021-10-6 12:29:27

Some additional info about the cert, maybe? It’s self-signed for a machine named “attic”, rather than http://downloads.racket-lang.org\|downloads.racket-lang.org — is that expected?


mflatt
2021-10-6 12:34:55

Does it help to use download instead of downloads (no “s”)?


blerner
2021-10-6 12:38:47

I just started trying that :slightly_smiling_face: It took a few tries, but apparently the magic incantation was download(no 's').<http://racket-lang.org/releases(with\|racket-lang.org/releases(with> 's')/8.2/catalog/pkg — if I didn’t include the catalog/pkg prefix, it wasn’t found.


blerner
2021-10-6 12:39:02

it’s downloading and building now; I’ll let you know in a moment whether it cleaned itself up…


blerner
2021-10-6 12:39:34

Success!


blerner
2021-10-6 12:41:37

I have a different htdp-lib installed now, with a checksum of b787fe…b3e, and it (a) once again breaks on templates and rationals-in-test-output, and (b) no longer breaks on missing posn exports. I’ll take that trade for now :slightly_smiling_face:


blerner
2021-10-6 12:42:12

Now that it’s no longer urgent, I’m curious why I was getting the “identifier `posn’ not included” error…but that can wait for another time


blerner
2021-10-6 13:17:08

Also a question for @asumu — why didn’t apt-get purge fully obliterate the racket installation and clean it up?


samdphillips
2021-10-6 16:20:40

Which part of the Racket installation was still there after apt-get purge ? If it was packages installed in the user context those will be installed off of your home directory and purge won’t touch them.


blerner
2021-10-6 16:25:40

/usr/share/racket/pkgs/htdp-lib


blerner
2021-10-6 16:25:55

(or whatever the path was where that library got installed)


ben.knoble
2021-10-6 17:01:03

Does anyone here know anything about when registration or attendance details will be available for popl 2022?


badkins
2021-10-6 17:32:17

Maybe I missed it here, but I just discovered <https://groups.google.com/g/racket-users/c/JwUdEdWcKik|on the mailing list> that there will be another virtual RacketCon Nov 5 through 7, so I thought I’d post it here for anyone else who gets way behind on the mailing list :)


markus.pfeiffer
2021-10-6 17:44:48

maybe this time I don’t forget going :confused:


greg
2021-10-6 18:39:43

In case you don’t follow me on Twitter and didn’t see this already, I updated Racket Mode’s handling of documentation within Emacs.


greg
2021-10-6 18:40:17

This commit https://github.com/greghendershott/racket-mode/commit/46df4d9ecbaa7da1f48e55e5769d05e4ffdbd8b1 is now merged. Updated version now live on MELPA.



wjb
2021-10-6 18:47:56

My mistake; I was manually transcribing the URL from memory :slightly_smiling_face: Glad you got it fixed, and I already raised the posn error on the recent htdp changes.


blerner
2021-10-6 19:03:15

is there a git issue I can keep track of?



blerner
2021-10-6 22:22:39

Thanks. I stopped tracking that issue when @jbclements closed it (“huzzah it works! must be finished!”) and didn’t realized I’d been mentioned in the follow-up discussion


jbclements
2021-10-6 22:46:52

Here’s some text I added to a github issue #159, just in case this reaches more eyeballs:


jbclements
2021-10-6 22:46:53

I’ve just been through the slack discussion, and I’m not sure I have a set of steps for reproducing the “posn problem”. It looks like it might be sufficient to download a fresh 8.2 and use raco pkg update, does that sound right? I’ll give it a try, but only if someone tells me that I’m reading this plausibly.


jbclements
2021-10-6 22:47:00

https://github.com/racket/htdp/issues/159


jbclements
2021-10-6 22:47:34

I should tag @wjb and @blerner as well….


samth
2021-10-7 01:35:40

I don’t think there’s actually a problem, per se. The problem is that HEAD for htdp-lib doesn’t work on 8.2, but this shouldn’t be that unusual, and isn’t a usually a bug.