tilpner has quit [Remote host closed the connection]
tilpner has joined #racket
dataangel has quit [*.net *.split]
aeth has quit [*.net *.split]
drewolson has quit [*.net *.split]
jboy has quit [*.net *.split]
mario-goulart has quit [*.net *.split]
rgherdt has quit [Ping timeout: 268 seconds]
jboy has joined #racket
drewolson has joined #racket
dataangel has joined #racket
aeth has joined #racket
mario-goulart has joined #racket
zenspider has quit [Ping timeout: 246 seconds]
zenspider has joined #racket
andreyorst has quit [Remote host closed the connection]
andreyorst has joined #racket
teardown_ has quit [Quit: leaving]
teardown has joined #racket
wingsorc has joined #racket
<emma>
ente: im very keen on those, but im curious about other genres. Which do you like? :)
<ente>
is off-topic ok here? I like demo soundtracks, drum and bass, breakcore, anything I listen to that sounds nice in my ears rather than going at it by genre at all
bitmapper has quit [Quit: Connection closed for inactivity]
_whitelogger has joined #racket
refpga has quit [Read error: Connection reset by peer]
refpga has joined #racket
orivej has joined #racket
narimiran has joined #racket
refpga has quit [Ping timeout: 264 seconds]
<dzoe>
ente: not that there is usually much conversation here anyway :) (I am by no means in position of authoritatively answering your question, but I guess the implied "to a reasonable extent yes" will do)
<dzoe>
samth: Awesome! Thank you Sam. (Always reminds me of one the Tim Minchin's song)
refpga has joined #racket
nullman has quit [Ping timeout: 260 seconds]
nullman has joined #racket
mario-goulart has joined #racket
andreyorst has joined #racket
Ekho has quit [Ping timeout: 268 seconds]
Sgeo has quit [Read error: Connection reset by peer]
refpga has quit [Ping timeout: 246 seconds]
Ekho has joined #racket
refpga has joined #racket
tilpner has quit [Remote host closed the connection]
phillbush has joined #racket
rgherdt has joined #racket
tilpner has joined #racket
_whitelogger has joined #racket
nullcone has quit [Quit: Connection closed for inactivity]
dhil has joined #racket
refpga has quit [Ping timeout: 264 seconds]
refpga has joined #racket
joshcom has joined #racket
joshcom has quit [Quit: Leaving]
orivej has quit [Ping timeout: 246 seconds]
phillbush has quit [Quit: Leaving]
phillbush has joined #racket
phillbush has quit [Ping timeout: 256 seconds]
caente has joined #racket
notzmv has joined #racket
refpga has quit [Read error: Connection reset by peer]
refpga has joined #racket
jboy- is now known as jboy
bitmapper has joined #racket
nperez_ has joined #racket
teardown has quit [Write error: Connection reset by peer]
cantstanya has quit [Write error: Connection reset by peer]
nperez has quit [Ping timeout: 260 seconds]
teardown has joined #racket
cantstanya has joined #racket
teardown_ has joined #racket
teardown has quit [Ping timeout: 240 seconds]
refpga has quit [Remote host closed the connection]
refpga has joined #racket
refpga has quit [Read error: Connection reset by peer]
teardown has joined #racket
orivej has joined #racket
teardown_ has quit [Ping timeout: 240 seconds]
cantstanya has quit [Ping timeout: 240 seconds]
teardown_ has joined #racket
cantstanya has joined #racket
davidl has quit [Quit: WeeChat 2.9]
teardown has quit [Ping timeout: 240 seconds]
orivej has quit [Ping timeout: 264 seconds]
orivej has joined #racket
tilpner has quit [Remote host closed the connection]
tilpner has joined #racket
izh_ has joined #racket
notzmv has quit [Read error: No route to host]
notzmv has joined #racket
Sgeo has joined #racket
izh_ has quit [Quit: Leaving]
aeth has quit [Ping timeout: 260 seconds]
aeth has joined #racket
andreyorst has quit [Read error: Connection reset by peer]
phillbush has joined #racket
dataangel has joined #racket
ermo_ has joined #racket
ermo has quit [Ping timeout: 260 seconds]
ermo_ is now known as ermo
narimiran has quit [Ping timeout: 264 seconds]
orivej has quit [Ping timeout: 260 seconds]
nullcone has joined #racket
dataangel has quit [Ping timeout: 256 seconds]
<Noisytoot>
How can I change the history file with readline?
<Noisytoot>
Because it seems to share it with Racket, which means that my Racket REPL has irrelevant history
dhil has quit [Ping timeout: 264 seconds]
saclark has joined #racket
<mceier>
Hmm, you could use readline/rktrl and add_history to insert history items from any source and make sure to never use readline/pread - otherwise history will be overwritten in racket preferences file. Though, I haven't tested this - just based on readline package source code.
<mceier>
readline/pread reads history from racket preferences file and registers exit handlers that saves current history to racket preferences file
deeglaze has joined #racket
<mceier>
or maybe you could set 'init-file before using readline (don't know how though)
<saclark>
I'm new to Racket and I'm getting the following type check error in Typed Racket when using `hash-set!` on my recursive `Tree` type: https://pastebin.com/gv629jXF. Is anyone able to help shed some light on why this doesn't type check and what I need to fix?
<mceier>
I meant 'pref-file, since readline/pread uses get-preference to get the history.
tilpner has quit [Remote host closed the connection]
tilpner has joined #racket
phillbush has quit [Ping timeout: 264 seconds]
<mceier>
saclark: you're trying to use Tree recursively, try to define Tree using Rec.