rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 268 seconds]
JuanDaugherty has joined #ocaml
JuanDaugherty is now known as ColinRobinson
Tuplanolla has quit [Quit: Leaving.]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 246 seconds]
myrkraverk has joined #ocaml
myrkraverk_ has quit [Ping timeout: 260 seconds]
burley has joined #ocaml
wbooze has quit [Ping timeout: 265 seconds]
Inline has quit [Ping timeout: 265 seconds]
Haudegen has quit [Quit: Bin weg.]
myrkraverk_ has joined #ocaml
tri has joined #ocaml
myrkraverk has quit [Ping timeout: 252 seconds]
tri has quit [Ping timeout: 268 seconds]
alfiee has joined #ocaml
agentcasey has quit [Quit: ZNC 1.10.x-git-27-bfd731cf - https://znc.in]
agentcasey has joined #ocaml
alfiee has quit [Ping timeout: 272 seconds]
<discocaml>
<wayneyam> Seems like more people use Emacs than vim for OCaml, is it worth learning Emacs, and how did you learn Emacs
<discocaml>
<if_els> I think learning any keyboard-based editor is a pretty nice skill to have
<discocaml>
<if_els> (vim, btw)
ColinRobinson has quit [Quit: praxis.meansofproduction.biz (juan@acm.org)]
<discocaml>
<Kali> i've only ever used vim, but i've heard the integration for emacs is better
<discocaml>
<Kali> i don't use any integration on vim or otherwise so i wouldn't know
<burley>
I've used emacs and vim for OCaml. Emacs has a few more goodies, but (neo)vim with slime is a pretty solid experience
<discocaml>
<deepspacejohn> I’m probably a minority who likes a minimal setup, but I think ocaml is great with Vim and mainly just using :make. I also use a few LSP features like go-to-definition but I think running the LSP constantly is distracting.
<discocaml>
<deepspacejohn> The compiler is so fast that running :make to bring up errors is very responsive.
alfiee has joined #ocaml
burley has quit [Remote host closed the connection]
burley has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
burley has quit [Ping timeout: 260 seconds]
<dh`>
I learned emacs by sitting in the same room with another summer intern who was an emacs user, back in 1991
<dh`>
but I have also been using it for ocaml for the past N years without any integration at all (not even autoindent) and I haven't missed any of those toys
<dh`>
then again, I'm also provably weird :-)
alfiee has joined #ocaml
<discocaml>
<contificate> @wayneyam the trick with learning emacs is to avoid starting with some bloat nonsense distribution of emacs, but instead carefully craft a small config yourself
<dh`>
I use an ancient version of emacs (that I more or less maintain for my own use at this point) because two major versions in a row came out with extremely annoying UI blockers and then the one after that was a horrifying bloatmonster even by emacs standards, and then I gave up on updating
<discocaml>
<contificate> I started with emacs because my friend wanted me to learn Coq and they were using the proof general mode, so I moved from vim to emacs (I still use evil-mode) - but it was literally like an overnight switch, I only use vim for quick edits now, emacs for about 7-8 years
<discocaml>
<contificate> you sound like Linus going on about microemacs and his utf-8 patch
<dh`>
it is not really a desirable situation to be in
<discocaml>
<contificate> y'know, what pains me is that there's no reasonable emacs kit to drop an arbitrary programming language into
<discocaml>
<contificate> there's this "Zile" program, but they ported it from C to Vala and undermined it
<dh`>
sometimes I think I should punt the ancient emacs and write a new editor, then I remember how oversubscribed I already am
alfiee has quit [Ping timeout: 244 seconds]
<dh`>
it won't run proof-general and using coqide for coq has definitely undermined the editor fluency I used to have
<discocaml>
<contificate> I enjoy the jscoq scratch pad for playing around, in the browser
<discocaml>
<wayneyam> yeah I'm reading the tutorial now
<discocaml>
<wayneyam> true neovim's pretty solid
tri has joined #ocaml
<dh`>
meanwhile I seem to have a problem: I installed graphics and site-lib/graphics/dune-package contains references to a "dllgraphics_stubs.so" that doesn't exist
<dh`>
this is then breaking other stuff
<dh`>
which seems to be because it's site-lib/stublibs/dllgraphics_stubs.so but the dune-package file expects it to be site-lib/dllgraphics_stubs.so
<dh`>
or something wrong anyway
tri has quit [Ping timeout: 252 seconds]
<discocaml>
<purringhutao> How does passing `-custom` to `ocamlmklib` change the compilation process? I tried reading the documentation, but it was not clear enough.
<discocaml>
<purringhutao> I am trying to use `-custom`, but I am getting an error from `/usr/bin/ld` about `-l<ocaml_module_name>` not being found. However, `<ocaml_module_name>.a` is installed in the same directory as the OCaml `.cma`, etc. files.
<discocaml>
<purringhutao> When I don't pass `-custom`, a different process happens and I don't get this error
JuanDaugherty has quit [Quit: praxis.meansofproduction.biz (juan@acm.org)]
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 244 seconds]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 246 seconds]
tri has joined #ocaml
tri has quit [Ping timeout: 246 seconds]
olle has quit [Ping timeout: 248 seconds]
Haudegen has quit [Quit: Bin weg.]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 252 seconds]
euphores has quit [Quit: Leaving.]
deavmi has joined #ocaml
deavmi has quit [Client Quit]
tri has joined #ocaml
tri has quit [Ping timeout: 260 seconds]
euphores has joined #ocaml
Haudegen has joined #ocaml
wbooze has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 265 seconds]
Anarchos has joined #ocaml
wbooze has quit [Quit: Leaving]
<discocaml>
<purringhutao> Okay, I have a problem. When I compile an OCaml package with -custom, then client programs don't compile because OCaml doesn't know where to find the archive (.a) files, even though they are installed in the standard places
<discocaml>
<purringhutao> For example, I have `.opam/4.14.1/lib/ctypes/libctypes_stubs.a`, but when I try to compile a program that uses a package that uses ctypes in -custom mode, I get `/usr/bin/ld: cannot find -lctypes_stubs: No such file or directory`
wbooze has joined #ocaml
alfiee has joined #ocaml
wbooze has quit [Ping timeout: 260 seconds]
alfiee has quit [Ping timeout: 252 seconds]
Inline has joined #ocaml
Tuplanolla has joined #ocaml
wbooze has joined #ocaml
alfiee has joined #ocaml
tri has joined #ocaml
alfiee has quit [Ping timeout: 265 seconds]
tri has quit [Ping timeout: 244 seconds]
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #ocaml
alfiee has joined #ocaml
sixfourtwelve has joined #ocaml
alfiee has quit [Ping timeout: 268 seconds]
wbooze has quit [Quit: Leaving]
tri has joined #ocaml
tri has quit [Ping timeout: 248 seconds]
rgrinberg has joined #ocaml
alfiee has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
alfiee has quit [Ping timeout: 244 seconds]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
JuanDaugherty has joined #ocaml
sixfourtwelve has quit [Quit: leaving]
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 246 seconds]
bartholin has quit [Quit: Leaving]
tri has joined #ocaml
tri has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
alfiee has joined #ocaml
alfiee has quit [Ping timeout: 244 seconds]
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]