companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.0 released(!!1!): https://ocaml.org/releases/5.0.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
<discocaml_> <NULL> The usual integration for emacs is tuareg
azimut has joined #ocaml
<technomancy> oh, I see; tuareg covers font-lock and other stuff too, not just repl
<technomancy> I'm used to those being separate
<technomancy> thanks
<companion_cube> Btw, hi technomancy :)
<discocaml_> <NULL> I don't use emacs so I couldn't have helped more, but I'm glad you found what you needed
<technomancy> companion_cube: hey, nice to see a friendly face
<technomancy> my kids are taking a CS class and I'm thinking of adding another bonus unit on the end that covers some other more interesting languages
<companion_cube> "see", but yeah :)
<companion_cube> a CS class at what level? High school?
random-jellyfish has quit [Quit: Client closed]
Tuplanolla has quit [Quit: Leaving.]
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
Everything has joined #ocaml
noonien has joined #ocaml
jao has quit [Ping timeout: 255 seconds]
noonien has quit [Quit: The Lounge - https://thelounge.chat]
noonien has joined #ocaml
masterbuilder has quit [Quit: leaving]
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
spip has joined #ocaml
rf has quit [Remote host closed the connection]
bobo_ has quit [Ping timeout: 255 seconds]
chrisz has quit [Ping timeout: 255 seconds]
chrisz has joined #ocaml
azimut has quit [Ping timeout: 255 seconds]
<technomancy> they're in high school but the class is https://www.edx.org/cs50
waleee has quit [Ping timeout: 252 seconds]
Everything has quit [Quit: leaving]
sim642 has joined #ocaml
sim642 has quit [K-Lined]
sim642 has joined #ocaml
Haudegen has joined #ocaml
bgs has joined #ocaml
riverdc_ has quit [Ping timeout: 268 seconds]
riverdc has joined #ocaml
trev has joined #ocaml
motherfsck has quit [Ping timeout: 248 seconds]
<discocaml_> <Bozhidar> That's that CCBot? Is this some IRC bridge? At least to me it always looks super weird that some conversations are coming out of nowhere.
<discocaml_> <Bozhidar> (it's also not very clear how to interact with people on the IRC channel)
motherfsck has joined #ocaml
bgs has quit [Remote host closed the connection]
<Armael> from my perspective you're the one talking through an IRC bot ;-)
<Armael> the bridge bots could definitely be better integrated, but I think they are better than no bridge at all
motherfsck has quit [Ping timeout: 255 seconds]
mro has joined #ocaml
motherfsck has joined #ocaml
xgqt has quit [Ping timeout: 246 seconds]
xgqt has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
bartholin has joined #ocaml
<discocaml_> <lukstafi> (BTW the discussion of a `Typedtree` pass for PPX happened in 2018: https://github.com/ocaml/ocaml/pull/2161)
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<Armael> /w 43
<Armael> (oops)
riverdc has quit [Quit: quitting]
riverdc has joined #ocaml
motherfsck has quit [Ping timeout: 264 seconds]
discuss9128 has joined #ocaml
bartholin has quit [Quit: Leaving]
olle has joined #ocaml
jao has joined #ocaml
<discocaml_> <Bluddy> I wish a typed pass for PPX was practical, but there's a good reason nobody does it.
discuss9128 has quit [Quit: Client closed]
jao has quit [Ping timeout: 260 seconds]
<discocaml_> <Bozhidar> Fari enough. 🙂
<discocaml_> <Bozhidar> Actually they both cover pretty much the same things, but tuareg is the better option. There are some plans to eventually sunset caml-mode altogether.
random-jellyfish has joined #ocaml
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]
mro has joined #ocaml
<discocaml_> <NULL> (The messages you reply to aren't passed through the bridge, you should prefix with `Armael:` and `technomancy:` instead)
mro has quit [Remote host closed the connection]
mro has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<discocaml_> <froyo> the previous bridge changed its name depending on who sent the message from IRC, I liked that so I wrote a small js plugin to discord to restore the functionality:
<discocaml_> <froyo> much nicer to read this way
mro has quit [Remote host closed the connection]
azimut has joined #ocaml
azimut has quit [Ping timeout: 255 seconds]
azimut has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
Haudegen has joined #ocaml
mro has joined #ocaml
jao has joined #ocaml
Serpent7776 has joined #ocaml
rf has joined #ocaml
kurfen_ has joined #ocaml
kurfen has quit [Ping timeout: 255 seconds]
<discocaml_> <Drup> @kit_ty_kate do you have update package for llvm 15 ?
<discocaml_> <Drup> @kit_ty_kate do you have an updated package for llvm 15 ?
<discocaml_> <Drup> (it would be nice to have a repository with the last version of the opam files, to be able to modify it/pin it easily)
kurfen_ has quit [Ping timeout: 248 seconds]
master_ has joined #ocaml
master_ has quit [Client Quit]
masterbuilder has joined #ocaml
<discocaml_> <Kate> the two reasons this hasn't been merged is that it's a significant change from previous build system for this package (breaks previous assumptions when used with ocamlfind) and llvm 15 wasn't available on any distributions until recently
mro has quit [Remote host closed the connection]
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
<discocaml_> <Bluddy> dune (include_subdirs qualified) is in!
waleee has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 252 seconds]
mro has quit [Remote host closed the connection]
Serpent7776 has quit [Ping timeout: 246 seconds]
bgs has joined #ocaml
<companion_cube> Does it namespace according to directories?
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
random-jellyfish has quit [Quit: Client closed]
bartholin has joined #ocaml
Haudegen has joined #ocaml
noonien has quit [Quit: The Lounge - https://thelounge.chat]
mro has quit [Remote host closed the connection]
noonien has joined #ocaml
brettgilio has quit [Read error: Connection reset by peer]
szkl has joined #ocaml
mro has joined #ocaml
azimut has quit [Write error: Connection reset by peer]
Tuplanolla has joined #ocaml
azimut has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
Serpent7776 has joined #ocaml
<discocaml_> <Drup> @kit_ty_kate great ! thanks a lot
<discocaml_> <Drup> @kit_ty_kate btw, llvm.moe is extremely outdated, I think it would be best to remove it (and maybe change it to a link to the online doc on opam doc, or something)
<discocaml_> <peval> will the GC survive if i modify the size field of a block to get "lazy compaction" when it runs?
<discocaml_> <Kate> I'll keep it for now. The API didn't change much since LLVM 7.0 imo, and the documentation in ocaml.org is not built for llvm
mro has quit [Quit: Leaving...]
Stumpfenstiel has joined #ocaml
<discocaml_> <lukstafi> I decided that the most fun way forward for me for now is `ppx_minidebug` that's a single-file poor approximation of `ppx_debug`. It will trace only bindings and functions which are type-annotated with single-identifier types. It will log to a file using `sexp_of_<t>`. I'll advance to `ppx_debug` when this starts feeling impoverished.
<discocaml_> <lukstafi> I decided that the most fun way forward for me for now is `ppx_minidebug` that's a single-file poor approximation of `ppx_debug`. It will trace only bindings and functions which are type-annotated with single-identifier types. It will directly log to a file using `sexp_of_<t>`. I'll advance to `ppx_debug` when this starts feeling impoverished.
oriba has joined #ocaml
zbroyar has joined #ocaml
<discocaml_> <lukstafi> (Using `sexp`, it might be easy to implement an interactive debugging mode where one can substitute a different value for a traced value and let the computation proceed, but I'm not planning on that.)
<discocaml_> <lukstafi> (Using `sexp`, it might be easy to implement an interactive debugging mode where one can substitute a different value for a traced value and let the computation proceed, but I'm not planning on that. Maybe someday.)
olle has quit [Ping timeout: 246 seconds]
trev has quit [Remote host closed the connection]
jao has left #ocaml [#ocaml]
darchitect has joined #ocaml
<darchitect> hey guys
<darchitect> does anyone know why when I try to do 'dune --help' I get a blank screen with no information whatsoever on a macos
<darchitect> ?
<discocaml_> <NULL> Does `man` work for you ?
<darchitect> yeah
<darchitect> it does :/
<discocaml_> <NULL> That's weird, I thought it just launched it but apparently there's more to it if it breaks for you
bgs has quit [Remote host closed the connection]
darchitect has quit [Ping timeout: 246 seconds]
Serpent7776 has quit [Ping timeout: 255 seconds]
Stumpfenstiel has quit [Ping timeout: 252 seconds]
dh` has joined #ocaml
<dh`> all you really need to know about STREAMS is Dennis Ritchie's famous quote: "I designed streams, they build sewers"
<dh`> bah
<dh`> also s/build/built/
Haudegen has quit [Ping timeout: 255 seconds]
hackinghorn has joined #ocaml