Re: [racket-users] Ubuntu PPA also updated to v7.9

2020-11-17 Thread Asumu Takikawa
On 2020-11-09 10:35:45 -0800, Asumu Takikawa wrote: > The Ubuntu PPA is now updated for version 7.9 as well, and available on > current Ubuntu versions (see https://wiki.ubuntu.com/Releases): New PPA packages are currently building & will be available soon with the new version number: 7.9+ppa3-

Re: [racket-users] F1 key for custom language

2020-11-17 Thread Robby Findler
Currently, F1 doesn't actually prioritize anything based on the content of the window (well, except for the teaching languages which use a mechanism that's has not worked out very well in practice). It does need to know something about the syntax of your identifiers, bit it gets that from the color

Re: [racket-users] Mixin composition in typed racket

2020-11-17 Thread Asumu Takikawa
On 2020-11-14 02:58:44 -0800, hashim@gmail.com wrote: > Any advice on how to make this work? Or whether to simply not do this in > typed racket? It's possible to do this in Typed Racket but it's just a bit more cumbersome as you need to make the function type row-polymorphic. Here's a versio

[racket-users] Racket News - Issue 42

2020-11-17 Thread Paulo Matos
Hi all, A day later but here nonetheless - Issue 42 has been published. https://racket-news.com/2020/11/racket-news-issue-42.html Enjoy! -- Paulo Matos -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop

[racket-users] F1 key for custom language

2020-11-17 Thread Dmitry Pavlov
Hello, When I press F1 in DrRacket, I get a nice new browser tab with search results from ~/.racket//doc/ directory. I would like to have a thing like this for my custom non-sexp language. So I am going to write some Scribble, and then... will it be automatically searchable after I install m

Re: [racket-users] net-lib/ftp enhancement

2020-11-17 Thread Sam Tobin-Hochstadt
If you found it useful, it's probably reasonable to add it to the library for everyone. Sam On Tue, Nov 17, 2020 at 12:46 PM Dominik Pantůček wrote: > > Hello Racketeers, > > we were working on a module today that uses the net/ftp module for batch > communication with some remote systems and rea

[racket-users] net-lib/ftp enhancement

2020-11-17 Thread Dominik Pantůček
Hello Racketeers, we were working on a module today that uses the net/ftp module for batch communication with some remote systems and realized we REALLY could use variants of ftp-download-file and ftp-upload-file that would accept ports instead of just folders/paths. So I looked at the source and