lexi-lambda changed the topic of #racket to: Racket v7.5 has been released: https://blog.racket-lang.org/2019/11/racket-v7-5.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org
nan` has quit [Ping timeout: 252 seconds]
endformationage has quit [Quit: WeeChat 2.6]
FernandoBasso has quit [Quit: Leaving]
FreeFull has quit []
dbmikus has quit [Ping timeout: 246 seconds]
evhan has quit [Quit: De IRC non curat rex...]
catonano_ has joined #racket
catonano has quit [Ping timeout: 250 seconds]
catonano_ is now known as catonano
Diagon has joined #racket
dustyweb has joined #racket
davidl has quit [Ping timeout: 246 seconds]
Codaraxis has quit [Read error: Connection reset by peer]
pilne has quit [Quit: Beware of programmers who carry screwdrivers.]
pilne has joined #racket
Codaraxis has joined #racket
evhan has joined #racket
Diagon has quit [Ping timeout: 265 seconds]
acarrico has quit [Read error: Connection reset by peer]
acarrico has joined #racket
<evdubs> can someone help me understand why, in scribble, if i try `@defclass[ibkr-session% object%]` i get a syntax error?
<evdubs> does scribble somehow need to be aware of the actual ibkr-session% declaration?
Diagon has joined #racket
<evdubs> i am trying to follow the gui/button-class.scrbl document to help me build the document, but i am not able to get a simple example working
Diagon has quit [Quit: Leaving]
Diagon has joined #racket
<lexi-lambda> evdubs: The documented grammar for `defclass` says it expects `@defclass[ibkr-session% object% ()]{ ... }`.
<evdubs> oh, missing ()
<evdubs> thanks
<evdubs> lexi-lambda, my next error is scribble: no class/interface/mixin information for identifier: #<syntax:interactive-brokers-api.scrbl:14:24 object%>
<evdubs> i tried including @(require racket/class) - that doesn't seem to have worked
<lexi-lambda> evdubs: You probably need @(require (for-label racket/class)).
<evdubs> ahh, okay
<evdubs> indeed. thank you, lexi-lambda
nan` has joined #racket
nan` has quit [Ping timeout: 268 seconds]
ziyourenxiang_ has joined #racket
ziyourenxiang has quit [Ping timeout: 246 seconds]
nan` has joined #racket
ziyourenxiang has joined #racket
ziyourenxiang_ has quit [Ping timeout: 268 seconds]
ziyourenxiang_ has joined #racket
nan` has quit [Ping timeout: 276 seconds]
ziyourenxiang has quit [Ping timeout: 265 seconds]
dddddd has quit [Remote host closed the connection]
nan` has joined #racket
lockywolf has joined #racket
lockywolf_ has joined #racket
lockywolf has quit [Remote host closed the connection]
lockywolf has joined #racket
aidalgol has joined #racket
lockywolf__ has joined #racket
lockywolf_ has quit [Ping timeout: 240 seconds]
lockywolf has quit [Ping timeout: 265 seconds]
lockywolf has joined #racket
lockywolf_ has joined #racket
lockywolf has quit [Ping timeout: 250 seconds]
lockywolf__ has quit [Ping timeout: 250 seconds]
lockywolf has joined #racket
lockywolf__ has joined #racket
lockywolf_ has quit [Ping timeout: 240 seconds]
lockywolf_ has joined #racket
lockywolf has quit [Ping timeout: 265 seconds]
Codaraxis has quit [Read error: Connection reset by peer]
lockywolf_ has quit [Ping timeout: 276 seconds]
lockywolf__ has quit [Ping timeout: 276 seconds]
sauvin has joined #racket
lockywolf has joined #racket
lockywolf_ has joined #racket
lockywolf has quit [Max SendQ exceeded]
lockywolf_ has quit [Max SendQ exceeded]
lockywolf_ has joined #racket
lockywolf has joined #racket
lockywolf_ has quit [Max SendQ exceeded]
lockywolf_ has joined #racket
lockywolf has quit [Remote host closed the connection]
lockywolf has joined #racket
lockywolf_ has quit [Max SendQ exceeded]
lockywolf_ has joined #racket
lockywolf_ has quit [Max SendQ exceeded]
lockywolf_ has joined #racket
lockywolf_ has quit [Remote host closed the connection]
lockywolf_ has joined #racket
lockywolf_ has quit [Remote host closed the connection]
lockywolf_ has joined #racket
lockywolf_ has quit [Remote host closed the connection]
lockywolf_ has joined #racket
lockywolf_ has quit [Max SendQ exceeded]
lockywolf_ has joined #racket
lockywolf_ has quit [Max SendQ exceeded]
lockywolf_ has joined #racket
lockywolf_ has quit [Ping timeout: 265 seconds]
lockywolf has quit [Ping timeout: 265 seconds]
lockywolf has joined #racket
lockywolf_ has joined #racket
nan` has quit [Ping timeout: 265 seconds]
Codaraxis has joined #racket
rgherdt has joined #racket
lockywolf_ has quit [Ping timeout: 265 seconds]
lockywolf has quit [Ping timeout: 265 seconds]
lockywolf_ has joined #racket
lockywolf has joined #racket
lockywolf has quit [Remote host closed the connection]
lockywolf_ has quit [Max SendQ exceeded]
lockywolf has joined #racket
lockywolf_ has joined #racket
lockywolf_ has quit [Read error: Connection reset by peer]
lockywolf has quit [Ping timeout: 276 seconds]
aidalgol has quit [Ping timeout: 240 seconds]
mzan has joined #racket
_whitelogger has joined #racket
catonano has quit [Quit: catonano]
catonano has joined #racket
pie__ has quit [Ping timeout: 265 seconds]
ng0 has joined #racket
lockywolf has joined #racket
lockywolf_ has joined #racket
libertyprime has joined #racket
lockywolf has quit [Ping timeout: 250 seconds]
lockywolf_ has quit [Ping timeout: 265 seconds]
iyzsong has joined #racket
Diagon has quit [Quit: Leaving]
orivej has quit [Ping timeout: 265 seconds]
pilne has quit [Quit: Man who run behind car get exhausted]
ZombieChicken has quit [Ping timeout: 276 seconds]
mzan has quit [Ping timeout: 276 seconds]
mzan has joined #racket
vraid has joined #racket
mzan has quit [Quit: Leaving]
rgherdt has quit [Ping timeout: 250 seconds]
dddddd has joined #racket
rgherdt has joined #racket
ziyourenxiang__ has joined #racket
ziyourenxiang_ has quit [Ping timeout: 265 seconds]
rgherdt has quit [Quit: Leaving]
iyzsong has quit [Quit: ZNC 1.7.1 - https://znc.in]
zmv has joined #racket
libertyprime has quit [Remote host closed the connection]
lockywolf has joined #racket
lockywolf_ has joined #racket
lockywolf has quit [Remote host closed the connection]
kritixilithos has joined #racket
nan` has joined #racket
lockywolf_ has quit [Ping timeout: 246 seconds]
mzan has joined #racket
sauvin has quit [Ping timeout: 265 seconds]
orivej has joined #racket
sauvin has joined #racket
mzan has quit [Quit: Leaving]
orivej has quit [Ping timeout: 265 seconds]
sauvin has quit [Ping timeout: 240 seconds]
ng0_ has joined #racket
ng0 has quit [Disconnected by services]
ng0_ is now known as ng0
endformationage has joined #racket
true-grue has joined #racket
<true-grue> Hi all! Is there a channel about PLT Redex?
vraid has quit [Quit: Leaving]
sauvin has joined #racket
mzan has joined #racket
<nisstyre> nope
<nisstyre> not that I know of
<samth> true-grue: just ask here
<true-grue> samth, Thanks! My "hello, world" app for learning of various semantic frameworks is a definition of simple stack-based language.
<true-grue> Here is a version for K Framework: https://github.com/true-grue/code-snippets/blob/master/stack.k
<true-grue> Is there anything you may suggest to imrove my Redex code?
rgherdt has joined #racket
nan` has quit [Ping timeout: 246 seconds]
<true-grue> samth, Looks interesting, thank you! I'm trying to get rid of "void" chain from the code. I see my "cleanup" rule as a hack. In K Framework I could rewrite some command by "." (no element).
<samth> you could just not use evaluation contexts
ng0 has quit [Ping timeout: 260 seconds]
<samth> there's no nesting in your expression language so there's not much need for contexts
ng0 has joined #racket
<true-grue> samth, But in the following example "1 2 + 3 4 + *" I want to have an evaluation order from left to right, without any non-deterministic rewrites.
lockywolf has joined #racket
<true-grue> But I could add current-cmd to the state. And then split like here cmd-list: void cmd-list -> current-cmd cmd-list.
fanta1 has joined #racket
<true-grue> But I just wanted to learn evaluation contexts better :)
<samth> true-grue: you don't even need to add anything to the state, just inline the evaluation contexts
<samth> but learning contexts is a good thing too :)
<true-grue> Well, my intent is to simulate an behaviour of some machine, not cut the corners. In a real processor it's normal to have instruction word in a dedicated register :)
ziyourenxiang__ has quit [Ping timeout: 268 seconds]
<samth> true-grue: it all depends what you want. you could make it shorter with various abstractions but I don't know if that would be "better"
ArthurStrong has joined #racket
<true-grue> samth, Yes, I could use a metafunction as a calculator for my primitive operations, for example. Anyway, thank you!
<samth> the shortest abstraction would be to write a metafunction that took and op and the stack and produced the new stack
<true-grue> samth, Aha, got it. By the way, is there a simple way to change a font used for PDF rendering?
<samth> see the various parameters here: https://docs.racket-lang.org/redex/The_Redex_Reference.html?q=redex#%28def._%28%28lib._redex%2Fpict..rkt%29._label-style%29%29
deeglaze has quit [Remote host closed the connection]
<true-grue> samth, Thanks!
ArthurStrong has quit [Quit: leaving]
ng0 has quit [Ping timeout: 260 seconds]
deeglaze has joined #racket
DGASAU has quit [Read error: Connection reset by peer]
DGASAU has joined #racket
pie_ has joined #racket
dvdmuckle has quit [Quit: Bouncer Surgery]
kritixil1 has joined #racket
kritixilithos has quit [Ping timeout: 260 seconds]
dvdmuckle has joined #racket
DGASAU has quit [Read error: Connection reset by peer]
kritixil1 has quit [Ping timeout: 260 seconds]
aidalgol has joined #racket
DGASAU has joined #racket
gonz_ has left #racket ["Leaving"]
fanta1 has quit [Quit: fanta1]
rgherdt has quit [Ping timeout: 276 seconds]
nan` has joined #racket
DGASAU has quit [Read error: Connection reset by peer]
DGASAU has joined #racket
ng0 has joined #racket
efm has quit [Read error: Connection reset by peer]
efm has joined #racket
sauvin has quit [Read error: Connection reset by peer]
tilpner has quit [Quit: tilpner]
dbmikus has joined #racket
FreeFull has joined #racket
efm has quit [Remote host closed the connection]
efm has joined #racket
pilne has joined #racket
nan` has quit [Ping timeout: 240 seconds]
efm has quit [Read error: Connection reset by peer]
efm has joined #racket
nan` has joined #racket
nan` has quit [Ping timeout: 250 seconds]
nan` has joined #racket
Trieste has quit [Ping timeout: 240 seconds]
zmv has quit [Read error: Connection reset by peer]
Trieste has joined #racket
orivej has joined #racket
nan` has quit [Ping timeout: 268 seconds]
Lowl3v3l has quit [Remote host closed the connection]
Lowl3v3l has joined #racket
Codaraxis has quit [Ping timeout: 265 seconds]
efm has quit [Ping timeout: 240 seconds]
Fernando-Basso has joined #racket
efm has joined #racket
Sgeo_ has joined #racket
efm has quit [Ping timeout: 268 seconds]
Sgeo has quit [Ping timeout: 276 seconds]
true-grue has quit [Read error: Connection reset by peer]
efm has joined #racket
aeth has quit [Read error: Connection reset by peer]
aeth has joined #racket
cpup has quit [Ping timeout: 265 seconds]
cpup has joined #racket
efm has quit [Read error: Connection reset by peer]
nan` has joined #racket
efm has joined #racket
ZombieChicken has joined #racket
m1dnight_ has quit [Ping timeout: 240 seconds]
nan` has quit [Ping timeout: 252 seconds]
m1dnight_ has joined #racket
ziyourenxiang__ has joined #racket
dbmikus_ has joined #racket
dbmikus has quit [Ping timeout: 240 seconds]
Codaraxis has joined #racket
Codaraxis has quit [Remote host closed the connection]
endformationage has quit [Quit: WeeChat 2.6]