Racket Users

1–30 of 9584

This is the Racket programming language users mailing list. This is the right place for discussion of nearly all Racket issues.

Welcome!

0 selected

Dexter Lagan, Gustavo Massaccesi3

Apr 15

Incorrect value/typo in write-resource procedure documentation

It's merged in https://github.com/racket/racket/commit/28a46e36c6f02017d2430b973e0dc8a66b66c94b

unread,

Incorrect value/typo in write-resource procedure documentation

It's merged in https://github.com/racket/racket/commit/28a46e36c6f02017d2430b973e0dc8a66b66c94b

Apr 15

Beatriz Moreira

Apr 15

[Redex] Variable names must be different

Hello, When defining a language, is it possible to define that all instances of a pattern have to be

unread,

[Redex] Variable names must be different

Hello, When defining a language, is it possible to define that all instances of a pattern have to be

Apr 15

Dominik Pantůček

Apr 15

Typed Racket: type relations

Hello Racketeers, working on gradually typing some of my modules I encountered an interesting problem

unread,

Typed Racket: type relations

Hello Racketeers, working on gradually typing some of my modules I encountered an interesting problem

Apr 15

Dominik Pantůček, … Sam Tobin-Hochstadt17

Apr 15

On Thu, Apr 15, 2021 at 4:21 PM Dominik Pantůček <dominik.pantucek@trustica.cz> wrote: >

unread,

On Thu, Apr 15, 2021 at 4:21 PM Dominik Pantůček <dominik.pantucek@trustica.cz> wrote: >

Apr 15

Michael Sperber

Apr 15

ACM Workshop on Functional Art, Music, Modelling and Design - 2nd Call for Papers, Demos, and Performances

=============================================================================== 7th ACM SIGPLAN

unread,

ACM Workshop on Functional Art, Music, Modelling and Design - 2nd Call for Papers, Demos, and Performances

=============================================================================== 7th ACM SIGPLAN

Apr 15

Dexter Lagan, Matthew Flatt3

Apr 15

Wheel / touchpad / trackpoint accuracy/speed scrolling fix for DrRacket

I'll log the values at different spots and let you know what I find. Clearly, multiplying amt by

unread,

Wheel / touchpad / trackpoint accuracy/speed scrolling fix for DrRacket

I'll log the values at different spots and let you know what I find. Clearly, multiplying amt by

Apr 15

Don Green, William J. Bowman2

Apr 14

Questions about multiple Racket installations...

I use this: https://github.com/takikawa/racket-dev-goodies When I need to switch, I just change

unread,

Questions about multiple Racket installations...

I use this: https://github.com/takikawa/racket-dev-goodies When I need to switch, I just change

Apr 14

Don Green, … Philip McGrath6

Apr 14

Is this a good uninstall then install Racket plan...

All I really need to do is click [Check Syntax] button in DrRacket and all the modules/files in the

unread,

Is this a good uninstall then install Racket plan...

All I really need to do is click [Check Syntax] button in DrRacket and all the modules/files in the

Apr 14

Apr 13

I ran from a terminal: apt get upgrade

apt get upgrade Since Racket was installed on my system, apt get upgrade goes out and finds the

unread,

I ran from a terminal: apt get upgrade

apt get upgrade Since Racket was installed on my system, apt get upgrade goes out and finds the

Apr 13

infodeveloperdon, John Clements4

Apr 13

inadvertently upgraded Racket version. Would like to make an older installed version current.

Did you install racket using a package manager, perhaps from the racket PPA? (I'm guessing the

unread,

inadvertently upgraded Racket version. Would like to make an older installed version current.

Did you install racket using a package manager, perhaps from the racket PPA? (I'm guessing the

Apr 13

Apr 13

How to make a previously installed version of Racket current?

How to make a previously installed version of Racket current? My OS is linux Ubuntu. Is it a matter

unread,

How to make a previously installed version of Racket current?

How to make a previously installed version of Racket current? My OS is linux Ubuntu. Is it a matter

Apr 13

Don Green, John Clements2

Apr 13

"You do not have permission to respond to author in this group."

Hmm… that's a new one to me. It sounds like there's a setting that can be toggled, I'm

unread,

"You do not have permission to respond to author in this group."

Hmm… that's a new one to me. It sounds like there's a setting that can be toggled, I'm

Apr 13

Bruce O'Neel, … Robby Findler7

Apr 13

Something is going slightly wrong visually with the Linux version

Right -- looks like I was barking up the wrong herring. Robby On Tue, Apr 13, 2021 at 2:00 PM Bruce O

unread,

Something is going slightly wrong visually with the Linux version

Right -- looks like I was barking up the wrong herring. Robby On Tue, Apr 13, 2021 at 2:00 PM Bruce O

Apr 13

Apr 13

custom input ports and specials

I'm implementing a tokenizer as a custom input port using `make-input-port`. My thinking is that

unread,

custom input ports and specials

I'm implementing a tokenizer as a custom input port using `make-input-port`. My thinking is that

Apr 13

na...@manicmind.earth, … Stephen Foster8

Apr 12

Polished 3D package for some simulations

Hehe. Yeah, we were discussing resyntax. On Mon, Apr 12, 2021, 11:01 AM Dominik Pantůček <dominik.

unread,

Polished 3D package for some simulations

Hehe. Yeah, we were discussing resyntax. On Mon, Apr 12, 2021, 11:01 AM Dominik Pantůček <dominik.

Apr 12

Beatriz Moreira, philngu...@gmail.com3

Apr 12

Judgement not holding

Thank you, I did just that! :D 4. Checking for membership in an environment sounds like a (very)

unread,

Judgement not holding

Thank you, I did just that! :D 4. Checking for membership in an environment sounds like a (very)

Apr 12

Sage Gerard, Ryan Culpepper5

Apr 12

How do I, a client, get a copy of an untrusted server certificate?

Ok, much appreciated. For those reading, I'm pivoting to this phrasing. -- Could not connect to

unread,

How do I, a client, get a copy of an untrusted server certificate?

Ok, much appreciated. For those reading, I'm pivoting to this phrasing. -- Could not connect to

Apr 12

Dexter Lagan, … Matthew Flatt27

Apr 11

Executable file size and raco demod

I'll study all this and get back to you. Reminds me of my win32 API days, making event loops...

unread,

Executable file size and raco demod

I'll study all this and get back to you. Reminds me of my win32 API days, making event loops...

Apr 11

Dominik Pantůček

Apr 10

Strange problem with racket/gui

Hello Racketeers, with GUI widgets tree like: vertical-panel% vertical-pane% vertical-pane%

unread,

Strange problem with racket/gui

Hello Racketeers, with GUI widgets tree like: vertical-panel% vertical-pane% vertical-pane%

Apr 10

Jeff Henrikson, … jackh...@gmail.com5

Apr 10

How to recover whitespace from syntax->string

I had to build something for this in my Resyntax project. My takeaways were: There's no

unread,

How to recover whitespace from syntax->string

I had to build something for this in my Resyntax project. My takeaways were: There's no

Apr 10

Apr 9

racket text://protocol client

Hello, Would you know of any racket text://protocol clients? Or servers? [1][2][3] Thanks in advance.

unread,

racket text://protocol client

Hello, Would you know of any racket text://protocol clients? Or servers? [1][2][3] Thanks in advance.

Apr 9

e...@disroot.org, … Alex Harsányi9

Apr 9

Werid contract violation blame erros

Thank you, Robby, This clarifies it a little bit. So far I've avoided reading about the racket

unread,

Werid contract violation blame erros

Thank you, Robby, This clarifies it a little bit. So far I've avoided reading about the racket

Apr 9

Jeff Henrikson, … Alex Harsányi7

Apr 8

Version metadata on Racket packages

That answers my question. Thank you. Jeff On 4/8/21 6:07 PM, Sam Tobin-Hochstadt wrote: No, pkgs.

unread,

Version metadata on Racket packages

That answers my question. Thank you. Jeff On 4/8/21 6:07 PM, Sam Tobin-Hochstadt wrote: No, pkgs.

Apr 8

Linh Chi Nguyen4

Apr 8

the effect of redacted information in multiple party conflict

hello friends, let me share that exercise 1 is up here, i would like to kindly share it with you, as

unread,

the effect of redacted information in multiple party conflict

hello friends, let me share that exercise 1 is up here, i would like to kindly share it with you, as

Apr 8

David Storrs, George Neuner3

Apr 7

Running user-supplied code in a place

Thanks, George. This helped a lot. On Wed, Apr 7, 2021 at 9:03 PM George Neuner <gneuner2@comcast.

unread,

Running user-supplied code in a place

Thanks, George. This helped a lot. On Wed, Apr 7, 2021 at 9:03 PM George Neuner <gneuner2@comcast.

Apr 7

Apr 7

Status of Prob. Programming Libraries in Racket?

I am new to Racket and I am trying to get an update on probabilistic programming in Racket. Both

unread,

Status of Prob. Programming Libraries in Racket?

I am new to Racket and I am trying to get an update on probabilistic programming in Racket. Both

Apr 7

Sage Gerard, … James Platt8

Apr 6

Upgrading installer verification

On Apr 2, 2021, at 6:59 PM, Alex Harsányi wrote: > Hi James, > > If you are worried about

unread,

Upgrading installer verification

On Apr 2, 2021, at 6:59 PM, Alex Harsányi wrote: > Hi James, > > If you are worried about

Apr 6

Ryan Kramer, Ben Greenman4

Apr 5

How do I debug this performance problem?

> I've noticed that Typed Racket adds seemingly unnecessary chaperones when > the Any type

unread,

How do I debug this performance problem?

> I've noticed that Typed Racket adds seemingly unnecessary chaperones when > the Any type

Apr 5

Bruce O'Neel, Matthew Flatt2

Apr 4

8.0.0.13 on Windows

Thanks for the report! This bug has been fixed for the next build. At Sun, 04 Apr 2021 13:40:45 +0200

unread,

8.0.0.13 on Windows

Thanks for the report! This bug has been fixed for the next build. At Sun, 04 Apr 2021 13:40:45 +0200

Apr 4

Dominik Pantůček

Apr 4

Next Racket Meetup: Saturday, May 1st

Hello fellow Racketeers, although the meetup yesterday wasn't actually crowded, an interesting

unread,

Next Racket Meetup: Saturday, May 1st

Hello fellow Racketeers, although the meetup yesterday wasn't actually crowded, an interesting

Apr 4

Search

Clear search

Close search

Google apps

Main menu