Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.13.0 released: https://ocaml.org/releases/4.13.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
mettekou has quit [Remote host closed the connection]
mettekou has joined #ocaml
mro_ has quit [Quit: Leaving...]
Guest98 has quit [Quit: Client closed]
Tuplanolla has quit [Quit: Leaving.]
<d_bot> <cemerick> @companion_cube just out of curiosity, do you only use ocp-indent?
favonia has quit [Ping timeout: 268 seconds]
olle has quit [Ping timeout: 268 seconds]
favonia has joined #ocaml
favonia has quit [Ping timeout: 268 seconds]
<d_bot> <cemerick> I ask because containers, etc., seems quite nicely formatted, and in relatively sane ways. Every few months, I try to use ocamlformat again, and am quickly hit with cases where it does IMO really unpleasant stuff.
Haudegen has quit [Ping timeout: 268 seconds]
<d_bot> <darrenldl> oh huh, i ended up going from ocp-indent to ocamlformat
<d_bot> <darrenldl> curious where it fails for you @cemerick
<companion_cube> @cemerick, yes
<companion_cube> I still format by hand mostly (just leaving indentation to ocp-indent)
<d_bot> <cemerick> ok, that's explains it
<d_bot> <cemerick> I also mostly hand-format still, but would like to not
<companion_cube> I think the same, but ocamlformat always makes me unhappy
<companion_cube> I think the grammar doesn't lend itself well to that :(
<d_bot> <cemerick> @darrenldl eh, it's a different thing each time; the current frustration is that it does bad things to "pipeline" expressions (series of operations chained with `|>`). Depending on the subexpressions' length, it either leaves them all on one line (which is fine for 2, *maybe* three very short exprs), or it wraps them into irregular separate lines: two exprs on one line, then a few single-line exprs, then another pair on one line
klu has quit [Quit: .]
<companion_cube> for me the frustration is ( ) around ifs
<companion_cube> and the begin/end around match that I add manually
<d_bot> <darrenldl> i thought you can force |> to be on separate lines
klu has joined #ocaml
klu has quit [Changing host]
klu has joined #ocaml
<d_bot> <darrenldl> (not 100% tho
<d_bot> <darrenldl> 100% sure*
<d_bot> <darrenldl> companion_cube: ah true, the removal(?) of () in if is not the most convenient
<d_bot> <darrenldl> side digression: portal stories mel is really good if you haven't played it already : D
<d_bot> <cemerick> @darrenldl if you know the knob that affects that, I'd be happy to try it.
<d_bot> <cemerick> I've looked, but hardly comprehensively
<d_bot> <cemerick> ech, it seems the relevant option is deprecated, apparently part of a broader effort to minimize the configurability of the tool in general 🙃
<companion_cube> -_-
waleee has quit [Quit: WeeChat 3.3]
favonia has joined #ocaml
zebrag has joined #ocaml
<d_bot> <darrenldl> > apparently part of a broader effort to minimize the configurability of the tool in general
<d_bot> <darrenldl> ...right i vaguely recall trying to follow the footsteps of rust fmt and go fmt tools...
<d_bot> <darrenldl> recall mentioning of trying*
<d_bot> <darrenldl> i uh...i don't know about that tbh
<d_bot> <darrenldl> at this rate i might have to write my own formatter for security code : D (half jk
<companion_cube> tbh you'd be better off writing a new syntax that has one obvious formatting
<companion_cube> (Reason had it right on that point)
<companion_cube> new syntax also means you can have a convention from the start
<companion_cube> :p
<d_bot> <darrenldl> is reason still uh...dependable?
<companion_cube> not sure tbh
<companion_cube> but they had that idea right at least
<companion_cube> go and rust are also C-like (ish) and imho it formats more easily
<d_bot> <darrenldl> yep
<d_bot> <darrenldl> so dune ingests .re files with no problem whatsoever?
mettekou_ has joined #ocaml
mettekou has quit [Ping timeout: 268 seconds]
b0o has joined #ocaml
<companion_cube> I think so, these days
favonia has quit [Quit: Leaving]
<d_bot> <cemerick> @darrenldl yeah, you can mix and match .ml and .re in the same project without any configuration or anything
<d_bot> <cemerick> very handy for using tyxml's reason ppx (IMO the best embedded templating option available)
<d_bot> <darrenldl> thats neat : D
<companion_cube> you mean the JSX like thing?
<d_bot> <cemerick> yes, sorry, tyxml-jsx is the actual name
<d_bot> <darrenldl> partial application looks more noisy though, hm...
<d_bot> <cemerick> "you'd be better off writing a new syntax that has one obvious formatting" >> lisp transliteration, someday 😈
<d_bot> <cemerick> @darrenldl jsx is definitely the bright spot of reason syntax, the rest is IMO a big downgrade
<d_bot> <darrenldl> racket dsl for writing ocaml : D
<d_bot> <darrenldl> yeah, i think i prefer ocaml syntax at a lot of spots
<d_bot> <darrenldl> hmmmm
<companion_cube> @cemerick the {} are an upgrade if you consider how bad match/if is in OCaml
<companion_cube> also I don't hate `let x = y;` nor the concise lambdas
<d_bot> <darrenldl> containers re when : D
zebrag has quit [Quit: Konversation terminated!]
mbuf has joined #ocaml
recherche has joined #ocaml
recherche has quit [Client Quit]
hornhack has joined #ocaml
horninghack has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Colt has quit [Quit: Leaving]
Colt has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
hornhack has quit [Quit: Leaving]
Tuplanolla has joined #ocaml
xd1le has joined #ocaml
mbuf has quit [Quit: Leaving]
<d_bot> <Et7f3> Dune use refmt to convert to binary ast (the same output of ppx) then feed it to regular ocaml compiler so they are compatible
<d_bot> <Et7f3> No need for containers re
sagax has quit [Ping timeout: 250 seconds]
Haudegen has joined #ocaml
bartholin has joined #ocaml
mro has quit [Remote host closed the connection]
olle has joined #ocaml
Serpent7776 has joined #ocaml
mro has joined #ocaml
<d_bot> <Azure Plasma> How do I know the scihub search extension isn't malicious? I've been asked to download it to use the search functionality
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 268 seconds]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
bartholin has quit [Ping timeout: 260 seconds]
bartholin has joined #ocaml
namkeleser has joined #ocaml
<namkeleser> Is there anyway to debug camlrunm binary data file?
<namkeleser> ./challenge: a /usr/bin/camlrunm script executable (binary data)
<namkeleser> Like using GDB
<namkeleser> Or any other tool
<namkeleser> for moscow ML
<namkeleser> This format is very niche
<d_bot> <darrenldl> > No need for containers re
<d_bot> <darrenldl> well it was more about companion_cube being a fan of re syntax
<namkeleser> darrenldl is that to me?
<d_bot> <darrenldl> oh sorry, to @Et7f3
xiongxin has joined #ocaml
Techcable has quit [Quit: ZNC - https://znc.in]
Techcable has joined #ocaml
Everything has joined #ocaml
primosoma has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
xd1le has quit [Quit: xd1le]
namkeleser has quit [Quit: Client closed]
sagax has joined #ocaml
bartholin has quit [Read error: Connection reset by peer]
bartholin has joined #ocaml
xiongxin has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
mro has joined #ocaml
terrorjack has joined #ocaml
bartholin has quit [Ping timeout: 260 seconds]
bartholin has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
bartholin has quit [Quit: Leaving]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
waleee has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Ping timeout: 265 seconds]
bartholin has joined #ocaml
mro has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has quit [Ping timeout: 260 seconds]
Anarchos has joined #ocaml
<companion_cube> not a fan, just a bit jealous of some aspects of it :p
Everything has quit [Quit: leaving]
mro has joined #ocaml
<d_bot> <mbacarella> is the ocaml github action workflow `windows-latest` a cygwin environment? or something else?
bartholin has quit [Ping timeout: 256 seconds]
<sim642> The readme says Cygwin
<sim642> If you mean setup-ocaml
<d_bot> <mbacarella> oh. indeed. ok
<d_bot> <mbacarella> my build is failing on that one because termios.h can't be included, and the solution is to install "cygwin-devel" apparently? though i'd expect that to be installed by default.
<d_bot> <mbacarella> trying it anyway
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<d_bot> <mbacarella> Package 'mingw64-x86_64-cygwin-devel' not found.
<d_bot> <mbacarella> huh.
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<d_bot> <mbacarella> maybe i should ... try not including termios.h on cygwin
bartholin has joined #ocaml
olle has quit [Ping timeout: 268 seconds]
grobe0ba has quit [Quit: ZNC 1.8.2 - https://znc.in]
grobe0ba has joined #ocaml
mro has quit [Remote host closed the connection]
dhil has joined #ocaml
olle has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 250 seconds]
sagax has quit [Ping timeout: 250 seconds]
Anarchos has quit [Ping timeout: 256 seconds]
waleee has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 256 seconds]
<bartholin> how do I get nice error informations in angstrom?
<bartholin> Like, line number, character number...
dhil has quit [Remote host closed the connection]
xd1le has joined #ocaml
Serpent7776 has quit [Quit: leaving]
bartholin has quit [Quit: Leaving]
namkeleser has joined #ocaml