samth changed the topic of #racket to: Racket v7.7 has been released: https://blog.racket-lang.org/2020/05/racket-v7-7.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org
orivej has quit [Ping timeout: 265 seconds]
Codaraxis__ has joined #racket
Codaraxis_ has quit [Ping timeout: 265 seconds]
libertyprime has quit [Quit: leaving]
nan` has quit [Quit: leaving]
dustyweb has quit [Remote host closed the connection]
dddddd__ has quit [Ping timeout: 264 seconds]
acarrico has quit [Ping timeout: 246 seconds]
_whitelogger has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 246 seconds]
orivej has joined #racket
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #racket
libertyprime has joined #racket
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #racket
orivej_ has joined #racket
orivej has quit [Ping timeout: 260 seconds]
orivej_ has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #racket
orivej has quit [Read error: Connection reset by peer]
orivej has joined #racket
bocaneri is now known as Sauvin
orivej has quit [Ping timeout: 265 seconds]
YuGiOhJCJ has joined #racket
aidalgol has quit [Remote host closed the connection]
nebunez has quit [Ping timeout: 246 seconds]
badkins has joined #racket
endformationage has quit [Quit: WeeChat 2.6]
badkins has quit [Ping timeout: 265 seconds]
aidalgol has joined #racket
efm has quit [Remote host closed the connection]
efm has joined #racket
narimiran has joined #racket
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
orivej has joined #racket
libertyprime has quit [Ping timeout: 246 seconds]
rgherdt has joined #racket
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
rgherdt_ has joined #racket
rgherdt has quit [Ping timeout: 260 seconds]
libertyprime has joined #racket
orivej has quit [Ping timeout: 258 seconds]
orivej has joined #racket
aidalgol has quit [Remote host closed the connection]
orivej has quit [Ping timeout: 265 seconds]
orivej_ has joined #racket
orivej_ has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
orivej has quit [Ping timeout: 260 seconds]
orivej has joined #racket
aidalgol has joined #racket
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #racket
Codaraxis_ has joined #racket
Codaraxis__ has quit [Ping timeout: 240 seconds]
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
nikita` has joined #racket
nikita` has quit [Quit: leaving]
orivej has quit [Ping timeout: 258 seconds]
nikita` has joined #racket
orivej has joined #racket
libertyprime has quit [Remote host closed the connection]
libertyprime has joined #racket
orivej has quit [Ping timeout: 265 seconds]
orivej has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 240 seconds]
orivej has quit [Ping timeout: 256 seconds]
orivej_ has joined #racket
emacsomancer has quit [Read error: Connection reset by peer]
TCZ has joined #racket
emacsomancer has joined #racket
rgherdt_ is now known as rgherdt
orivej_ has quit [Ping timeout: 260 seconds]
orivej has joined #racket
TCZ has quit [Quit: Leaving]
aidalgol has quit [Remote host closed the connection]
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 258 seconds]
dataangel has quit [Ping timeout: 264 seconds]
TCZ has joined #racket
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #racket
TCZ has quit [Read error: Connection reset by peer]
TCZ has joined #racket
srandon111 has joined #racket
orivej has quit [Ping timeout: 260 seconds]
orivej has joined #racket
epony has quit [Ping timeout: 258 seconds]
TCZ has quit [Quit: Leaving]
orivej has quit [Ping timeout: 264 seconds]
acarrico has joined #racket
badkins has joined #racket
xensky has joined #racket
badkins has quit [Ping timeout: 240 seconds]
acarrico has quit [Ping timeout: 258 seconds]
acarrico has joined #racket
notzmv has quit [Ping timeout: 246 seconds]
acarrico has quit [Ping timeout: 246 seconds]
<erkin> Is there a way to force Racket to allow redefinitions within the same module?
<samth> erkin: what do you mean "within the same module"?
<erkin> I want to include a module with a definition, shadow that definition and make the other procedures use the newly defined procedure.
<erkin> I made a new reader language from scheme/base with (compile-enforce-module-constants #f) but it doesn't work for `set!'.
<erkin> How does the repl do it?
<erkin> I tried using racket/include as a substitute for the module model but then it treats the whole thing as a single module.
acarrico has joined #racket
<erkin> Essentially, I want to break the referential transparency of closures just to solve SICP problems.
<samth> I recommend just using the REPL and/or load or the `racket/load` language
nebunez has joined #racket
<erkin> It's fine with the repl but it's nice being able to run the solutions from files.
<erkin> I'll try `racket/load'.
<samth> then I'd use `#lang racket/load` or just put the code in a file and use `racket -f file`
<erkin> The documentation is a bit scarce.
<samth> for which?
<erkin> racket/load
<erkin> I can't find anything besides this quick explanation https://docs.racket-lang.org/reference/load-lang.html
<erkin> I swapped scheme/base with racket/load in the language definition and it says no #%module-begin binding, even though I'm clearing `provide'ing it.
<samth> Is there something that doesn't explain? There's not a long explanation about how to use it because it is mostly not a good idea.
<samth> you can't just use `racket/load` in place of some other language
<erkin> It's definitely not a good idea for anything serious, that's for sure.
<samth> it's like writing things at the top-level
dddddd has joined #racket
orivej has joined #racket
badkins has joined #racket
<erkin> That's what I want though.
<erkin> I want it to be like I typed the contents of the included file at top level, followed by the contents of the rest of the file.
<erkin> Oh wait. I can't do that on the repl either.
<erkin> Dang.
<erkin> I guess it would be a total violation of lexical scoping.
<erkin> Oh well, I won't push my luck further.
<erkin> wait, it works
<erkin> I'm in awe.
<erkin> samth: I misunderstood how racket/load works it seems. It already `provide's everything necessary. I just had to `require' it in the language definition and `provide' `#%module-begin', `#%top-interaction' and `load'.
<erkin> Thanks for the advice. :-)
orivej has quit [Ping timeout: 244 seconds]
orivej has joined #racket
ohama has quit [Ping timeout: 264 seconds]
ohama has joined #racket
rgherdt has quit [Quit: Leaving]
epony has joined #racket
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
notzmv has joined #racket
orivej has quit [Ping timeout: 264 seconds]
orivej has joined #racket
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
orivej has quit [Ping timeout: 258 seconds]
orivej has joined #racket
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
efm has quit [Remote host closed the connection]
efm has joined #racket
dustyweb has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
rgherdt has joined #racket
sagax has quit [Ping timeout: 260 seconds]
badkins has quit [Ping timeout: 246 seconds]
Bjarno has joined #racket
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
endformationage has joined #racket
dbmikus has joined #racket
jellie has joined #racket
badkins has joined #racket
readyready15728 has quit [Quit: Leaving]
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #racket
Sauvin has quit [Remote host closed the connection]
orivej has quit [Quit: No Ping reply in 180 seconds.]
srandon111 has quit [Quit: leaving]
orivej has joined #racket
jellie has quit [Ping timeout: 246 seconds]
jellie has joined #racket
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #racket
sagax has joined #racket
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
dmiles has quit [Ping timeout: 240 seconds]
jellie has quit [Read error: Connection reset by peer]
badkins has quit [Ping timeout: 256 seconds]
jellie has joined #racket
efm has quit [Ping timeout: 240 seconds]
dmiles has joined #racket
jellie has quit [Ping timeout: 264 seconds]
badkins has joined #racket
jellie has joined #racket
jellie has quit [Client Quit]
dbmikus has quit [Ping timeout: 240 seconds]
buyfn has joined #racket
dbmikus has joined #racket
orivej has quit [Ping timeout: 260 seconds]
orivej has joined #racket
bonz060 has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
aidalgol has joined #racket
buyfn has quit [Ping timeout: 256 seconds]
buyfn has joined #racket
vraid has joined #racket
badkins has quit [Remote host closed the connection]
TCZ has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 265 seconds]
orivej has quit [Ping timeout: 240 seconds]
orivej has joined #racket
orivej has quit [Quit: No Ping reply in 180 seconds.]
orivej has joined #racket
badkins has joined #racket
narimiran has quit [Quit: leaving]
buyfn has quit [Quit: buyfn]
TCZ has quit [Quit: Leaving]
TCZ has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 260 seconds]
nikita` has quit [Quit: leaving]
Bjarno has quit [Ping timeout: 256 seconds]
TCZ has quit [Quit: Leaving]
rgherdt has quit [Ping timeout: 272 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 258 seconds]
dbmikus has quit [Ping timeout: 258 seconds]
badkins has joined #racket
libertyprime has quit [Quit: leaving]
orivej has quit [Ping timeout: 264 seconds]
orivej has joined #racket
orivej has quit [Ping timeout: 246 seconds]
orivej has joined #racket
orivej has quit [Ping timeout: 258 seconds]
orivej_ has joined #racket