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!
Tuplanolla has quit [Quit: Leaving.]
szkl has joined #racket
skapata has quit [Remote host closed the connection]
szkl has quit [Quit: Connection closed for inactivity]
Origin has quit [Ping timeout: 272 seconds]
chiselfuse has quit [Read error: Connection reset by peer]
chiselfuse has joined #racket
lowhope_ has quit [Remote host closed the connection]
leah2 has quit [Ping timeout: 258 seconds]
lowhope_ has joined #racket
chiselfuse has quit [Read error: Connection reset by peer]
chiselfuse has joined #racket
lowhope_ has quit [Ping timeout: 245 seconds]
lowhope_ has joined #racket
leah2 has joined #racket
danse-nr3 has joined #racket
danse-nr3 has quit [Ping timeout: 264 seconds]
danse-nr3 has joined #racket
danse-nr3 has quit [Remote host closed the connection]
to-hu has joined #racket
to-hu has quit [Quit: to-hu]
to-hu has joined #racket
skapata has joined #racket
snowsauce has quit [Ping timeout: 260 seconds]
to-hu has quit [Remote host closed the connection]
to-hu has joined #racket
to-hu has quit [Ping timeout: 255 seconds]
to-hu1 has joined #racket
to-hu1 is now known as to-hu
danse-nr3 has joined #racket
to-hu has quit [Quit: to-hu]
danse-nr3 has quit [Remote host closed the connection]
morte has joined #racket
morte has quit [Read error: Connection reset by peer]
ormaaj has quit [Quit: hat!]
morte has joined #racket
to-hu has joined #racket
FreeFull has joined #racket
dhil has joined #racket
echelon has joined #racket
Tuplanolla has joined #racket
echelon has left #racket [#racket]
to-hu has quit [Ping timeout: 240 seconds]
philip has joined #racket
philip has quit [Ping timeout: 245 seconds]
<ashpool> What is the correct way to require/typed a syntax from an untyped module?
morte has quit [Ping timeout: 255 seconds]
morte has joined #racket
<ashpool> More generally, how can I use in a typed module a syntax defined in an untyped module
morte has quit [Ping timeout: 255 seconds]
morte has joined #racket
morte has quit [Read error: Connection reset by peer]
to-hu has joined #racket
dhil has quit [Ping timeout: 245 seconds]
<shawnw> Just require the untyped module and you should be able to use any macros it provides. Can't go the other way around though - TR macros can't be called from untyped code.
avocadoist has quit [Remote host closed the connection]
to-hu has quit [Ping timeout: 258 seconds]
to-hu has joined #racket
avocadoist has joined #racket
to-hu1 has joined #racket
to-hu has quit [Ping timeout: 264 seconds]
to-hu1 is now known as to-hu
to-hu has quit [Remote host closed the connection]