badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 272 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 260 seconds]
badkins has joined #racket
badkins has quit [Remote host closed the connection]
wonko-the-sane has joined #racket
Origin has quit [Ping timeout: 260 seconds]
leah2 has quit [Ping timeout: 255 seconds]
codingquark has quit [Ping timeout: 272 seconds]
codingquark has joined #racket
wonko-the-sane has quit [Quit: leaving]
codingquark has quit [Ping timeout: 268 seconds]
codingquark has joined #racket
badkins has joined #racket
badkins has quit [Remote host closed the connection]
leah2 has joined #racket
skapata has quit [Remote host closed the connection]
<ggVGc>
I've been trying to find a good auto-formatter for Racket, but don't seem to be able to so far. What do people commonly use?
<ggVGc>
raco fmt does quite strange things imo, and racket-langserver (which I believe is the same as DrRacket) only does indentation I believe?
Avichi has joined #racket
<bremner>
hmm. I see fmt doesn't know some macros in plait (this terms teaching language), and also seems to think things should all be on one line
<bremner>
there is emacs racket-mode, but that is also only indentation
<bremner>
it does fix the bad indentation of fmt :)
<bremner>
ggVGc: did you see the list in the fmt docs?
<bremner>
maybe worth trying some of the options there, even if the fmt author does not like them too much
<ggVGc>
bremner: actually, I have had issues finding the configuration options for raco fmt, other than the command line arguments for with and max-blank-lines. It mentions a config file, but I'm not sure what the format of it is?
<bremner>
ggVGc: I'm not really familiar with it (today is the first time I looked at it), but there is the "Unstable API" which talks about "formatter maps"
monkey_ has joined #racket
monkey_ has quit [Remote host closed the connection]
badkins has quit [Remote host closed the connection]
skapata has joined #racket
badkins has joined #racket
ur5us has joined #racket
monkey_ has joined #racket
ur5us has quit [Ping timeout: 260 seconds]
ec has quit [Remote host closed the connection]
ec has joined #racket
notzmv has quit [Ping timeout: 264 seconds]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
ur5us has joined #racket
Origin has joined #racket
badkins has quit [Remote host closed the connection]
monkey_ has quit [Read error: Connection reset by peer]
monkey_ has joined #racket
notzmv has joined #racket
badkins has joined #racket
monkey_ has quit [Remote host closed the connection]
monkey_ has joined #racket
jeosol has quit [Quit: Ping timeout (120 seconds)]
jeosol has joined #racket
CodeSpelunker has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Remote host closed the connection]