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.