tonyg changed the topic of #racket to: The Racket Programming Language -- https://racket-lang.org/ -- https://gather.town/app/wH1EDG3McffLjrs0/racket-users -- http://pasterack.org -- logged at https://libera.irclog.whitequark.org/racket/ -- This is the right place to ask for help with (Dr)Racket. Remember to wait around for an answer!
m1dnight has quit [Ping timeout: 240 seconds]
skapata has quit [Remote host closed the connection]
skapata has joined #racket
m1dnight has joined #racket
mzan has quit [Ping timeout: 264 seconds]
lowhope has joined #racket
lowhope has quit [Remote host closed the connection]
lowhope has joined #racket
Tuplanolla has quit [Quit: Leaving.]
mzan has joined #racket
bubblegum has quit [Read error: Connection reset by peer]
bubblegum has joined #racket
Origin has quit [Ping timeout: 268 seconds]
bubblegum has quit [Ping timeout: 252 seconds]
mdhughes_ has joined #racket
mdhughes has quit [Ping timeout: 255 seconds]
mzan has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
mzan has joined #racket
mdhughes_ is now known as mdhughes
rakka has quit [Remote host closed the connection]
rakka has joined #racket
rakka has quit [Remote host closed the connection]
rakka has joined #racket
skapata has quit [Read error: Connection reset by peer]
chiselfuse has quit [Ping timeout: 240 seconds]
chiselfuse has joined #racket
ec has quit [Remote host closed the connection]
ec has joined #racket
chiselfuse has quit [Remote host closed the connection]
chiselfuse has joined #racket
danse-nr3 has joined #racket
djelic has joined #racket
jakzale has joined #racket
raghavgururajan has joined #racket
oter has joined #racket
henrytill has joined #racket
listentolist has joined #racket
JoelMcCracken has joined #racket
artyn has joined #racket
sm2n has joined #racket
ashpool has joined #racket
cpli has joined #racket
matta has joined #racket
danse-nr3 has quit [Read error: Connection reset by peer]
gonzigdude has quit [Quit: Artafath!]
Avichi has quit [Quit: Client closed]
ec has quit [Ping timeout: 240 seconds]
ec has joined #racket
danse-nr3 has joined #racket
Origin has joined #racket
szkl has quit [Quit: Connection closed for inactivity]
amirouche has joined #racket
amirouche has quit [Client Quit]
gonzigdude has joined #racket
danse-nr3 has quit [Ping timeout: 260 seconds]
Origin has quit [Quit: Leaving]
macabro has joined #racket
Origin has joined #racket
a51 has quit [Quit: WeeChat 4.1.2]
skapata has joined #racket
a51 has joined #racket
skapata has quit [Remote host closed the connection]
a51 has quit [Quit: WeeChat 4.1.2]
skapata has joined #racket
<bremner> I'm trying to use the macro stepper with the teaching language plait, but I'm having a hard time seeing the full expansion: https://paste.debian.net/1304433/
<bremner> Maybe that's just life, but I would appreciate any hints.
<bremner> in this particular example I can switch to #lang racket, as it turns out
Tuplanolla has joined #racket
a51 has joined #racket
a51 has quit [Quit: WeeChat 4.1.2]
<samth> bremner: the basic issue is that macro hiding doesn't work well for plait (or for many other languages)
<samth> you can, for example, uncheck "hide library syntax" and then you'll see a lot
macabro has quit [Remote host closed the connection]
<bremner> samth: I see (sortof). As far as demoing macros I should stick to #lang racket I guess. The expansion is too surprising in plait, even if you unhide appropriately. I had hoped (naively) that syntax rules would first expand to plait but it's not that simple.
Tuplanolla has quit [Quit: Leaving.]