adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.08 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.08/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Haudegen has quit [Ping timeout: 245 seconds]
bitwinery has quit [Ping timeout: 268 seconds]
bitwinery has joined #ocaml
bitwinery has quit [Read error: Connection reset by peer]
jbrown has quit [Ping timeout: 276 seconds]
jbrown has joined #ocaml
liberiga has quit [Quit: Leaving]
jao has quit [Ping timeout: 258 seconds]
ziyourenxiang has quit [Ping timeout: 244 seconds]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 268 seconds]
_whitelogger has joined #ocaml
gravicappa has joined #ocaml
sonologico has quit [Remote host closed the connection]
tane has joined #ocaml
sg has quit [Read error: Connection reset by peer]
malina has joined #ocaml
Asmadeus has quit [Ping timeout: 276 seconds]
adrien has quit [Ping timeout: 268 seconds]
Asmadeus has joined #ocaml
adrien has joined #ocaml
<xvilka> Hi! I make a functor like this "module Make_Some (I : MyType, M : AnotherType)" and have a some type definition inside - "type qwe = { a : int; b: I.t; c: D.t; }". And OCaml compiler complains - "Constraints are not satisfied in this type. Type I.t should be an instance of I.t"
<xvilka> Googling didn't help
ziyourenxiang has joined #ocaml
dmiles has quit [Read error: Connection reset by peer]
Vikfret has joined #ocaml
dmiles has joined #ocaml
<tane> xvilka, what is type some = { int a; } ?
<tane> isn't that a syntax error already
<tane> xvilka, if you fix the syntax errors it works
<tane> Make (I: T1) (M: T2) = struct ... end, and proper record declarations
Birdface has joined #ocaml
<xvilka> nevermind
<xvilka> ys
<xvilka> was a typo, seems error message is unrelated
<xvilka> for the record - the typo was in the functor call "module Qwe = Make_Some (I_Instance, M_Instance)"
<xvilka> so it was kind of related
<xvilka> just not clear enough
<Drup> I wonder what your compilation setup is, and how you manage to not get immediate syntax errors for this
<Drup> because your setup is clearly broken.
Haudegen has joined #ocaml
<xvilka> Drup: it is not a setup, it is my hands, I retyped it in the question and here wrongly
<xvilka> sorry for the confusion
<xvilka> I use [neo]vim + Ale + dune/merlin, so it shows the problems right in the editor
_whitelogger has joined #ocaml
<tane> programming in ocaml is such a bliss
<tane> does anyone know whether there's a tool to generate a .ycm_extra_conf.py from a dune project with a stubs-library (transitively) for use with YCMD+{vim|emacs}?
gareppa has joined #ocaml
<xvilka> ycm as in you-complete-me?
<xvilka> tane: I recommend you either to try Deoplete, or switch to the OCaml LSP server
<tane> xvilka, for OCaml I'm fine, the goal is to edit C code with the proper include paths
<xvilka> I use LSP with C code as well
<xvilka> tane: check ccls for C/C++ code from MaskRay - https://github.com/MaskRay/ccls
<tane> yeah, may have a look at it, thanks
<tane> but currently, ycmd is giving consistently good results :)
<xvilka> I used YCM in the past
<tane> and I guess for ccls I'd need to export some paths
<xvilka> ETOOSLOW
<tane> ok.. will check it out
<tane> xvilka, I have a cmakefile for c++, I generate a .ycm_extra_conf.py from that, how can I do the same for ccls?
malina has quit [Remote host closed the connection]
<tane> yeah, just tried it
<tane> I guess it really requires nvim
<tane> normal vim + ale + ccls gives really bad results
<tane> at least for the 10 minutes of configuration I put into it, but on the otherhand YCMD works perfectly :)
c4rc4s has quit [Remote host closed the connection]
c4rc4s has joined #ocaml
<tane> xvilka, ok now it works, with around 10 vim8 => nvim compatibility plugins :) thanks
trakjohnsonweb[m has joined #ocaml
<xvilka> tane: I use neovim mostly, especially from git (because the difference between nvim 0.3 and the current git is HUUGE)
<xvilka> they are going to release 0.4 soon by the way
<xvilka> also just today they pushed my updates (I imported from the rgrinberg/vim-ocaml and pushed mainstream) in the neovim git
<xvilka> with many small fixes in OCaml and Dune files
<tane> ok, neovim did not work for me yet, but I guess at some point I'll invest a day to have a complete remake of my vim setup
<tane> for ocaml itself I actually use spacemacs with tuareg mode :)
vicfred has quit [Quit: Leaving]
Vikfret has quit [Quit: Leaving]
<xvilka> tane: why do you need two of them? I think it is better to stick with the one everywhere - this way you will be more efficient
<xvilka> either vim or emacs
<xvilka> choose your side :D
<tane> no, efficiency is the result of using the right tool
<tane> and for latex it's obviously emacs
<tane> so I have to use emacs anyway :)
<tane> also, it's spacemacs, which is rather vim like anyway, a blend so to say :)
<xvilka> I see
<xvilka> you might want to try doom emacs as well
gareppa has quit [Quit: Leaving]
dimitarvp has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
dimitarvp has quit [Quit: Bye]
<companion_cube> why would emacs be the only good tool for latex?
<tane> companion_cube, what do you recommend?
<tane> my point was rather: spacemacs with its latex layer gave the best results in a small amount of time, better than all of my latex related vim setups. and as vim editing is a must have for me, it was the most economic choice. it's not a general recommendation, just my personal preference :)
Birdface has quit [Remote host closed the connection]
Birdface has joined #ocaml
Birdface has quit [Remote host closed the connection]
Birdface has joined #ocaml
<dmbaturin> companion_cube, tane: The best tool for latex is Kile. Prove me wrong.
<tane> dmbaturin, I'll note that down and have a look at it on the weekend :)
Haudegen has joined #ocaml
Birdface has quit [Remote host closed the connection]
Birdface has joined #ocaml
<shenghi> I mainly prefer one editor for everything simply so that I only have learn, know and understand one editor.
<shenghi> Which editor that is, has varied over time.
<dmbaturin> Kile is just that: a latex IDE. There's not much to learn, it does what I want it to do out of the box, at cost of not being universal.
<simon> I've always liked Emacs for LaTeX. incidentally, Emacs also works for writing OCaml. and Haskell. and Markdown. and...
Birdface has quit [Remote host closed the connection]
<simon> s/always/since 2012/
Birdface has joined #ocaml
Guest34547 has joined #ocaml
gravicappa has quit [Ping timeout: 272 seconds]
zolk3ri has joined #ocaml
khodzha1 has joined #ocaml
tane has quit [Quit: Leaving]
gareppa has joined #ocaml
AtumT has joined #ocaml
Guest34547 has quit [Ping timeout: 245 seconds]
<sgnb> IIUC, camlp4 is dead with ocaml 4.08.0?
zolk3ri has quit [Remote host closed the connection]
<octachron> sgnb, at the very least, no one has found the time to update it for 4.08 yet
sagax has quit [Remote host closed the connection]
<sgnb> it is a "key" package in Debian, so no update of ocaml before we can get rid of it :-( https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=933722
<Fardale> lwt work on 4.08, why does it depend on camlp4 in debian ?
dmiles has quit [Read error: Connection reset by peer]
zolk3ri has joined #ocaml
<Drup> probably because they still package a very old version
<sgnb> yes
<Drup> Seems like a self-inflicted problem :)
<sgnb> the fast pace at which new upstream releases are made is not self-inflicted
<sgnb> or, maybe you suggest it should not be packaged in Debian
<Drup> camlp4 has been an optional deps for lwt for a very very long time
<leah2> there are still lots of packages using camlp4 tho
<Drup> not active ones, no
<leah2> yes, but software packaged in distros...
<Drup> We are talking about lwt specifically here. lwt has a good reason to be packaged in debian (it's used by ctypes, which is used by llvm's ocaml API)
<leah2> Coccinelle has a good reason too, and it uses camlp4
<leah2> and mldonkey, well :P
<Drup> nobody care nor use mldonkey
<leah2> probably right
<leah2> else i see pfff, verifast and wyrd here
<Drup> I must admit not being extremely sympathetique to people still using camlP4. It has been officially advertised has been in low maintenance mode for several years now.
<Drup> (several >= 3)
<Drup> being*
<sgnb> me neither
<sgnb> once I manage to make it non-key, I will have no qualms removing everything that still depends on it
<Drup> well, update lwt in debian
<leah2> does coq have plans to remove camlp5?
<sgnb> it will be difficult
<Drup> leah2: camlp5 is kept up to date, it's fine
<sgnb> (I mean about coq)
<leah2> Drup: time between ocaml 4.08 release and working camlp5 was >1 month
<Drup> that's ... not so bad ? given that coq is basically the only user
<leah2> that means a rolling release distro can't update ocaml for 1 month
<sgnb> updating lwt is stalled now, but I'm of course planning to do it
<Drup> sgnb: why ?
AtumT_ has joined #ocaml
dmiles has joined #ocaml
AtumT has quit [Ping timeout: 258 seconds]
AtumT_ has quit [Read error: Connection reset by peer]
<sgnb> Drup: it is currently part of quite a large cluster of packages (that I don't want to grow further) that are waiting to migrate to testing... details at https://lists.debian.org/debian-ocaml-maint/2019/08/msg00009.html
<sgnb> I will try just remove camlp4 from Build-Depends to see what happens
AtumT has joined #ocaml
AtumT has quit [Client Quit]
<Drup> even for old lwt, camlp4 is an optional deps. What's the version of lwt you have to work with ?
<sgnb> 2.7.1
<Drup> erk, that's not even old, that's neolithic
<Drup> anyway, camlp4 was already depops
<Drup> pretty sure that's not going to build on 4.08 though.
<sgnb> for now, we are still at 4.05.0
* sgnb hopes he can find a version of lwt that still works with it
<Drup> yeah, that should be fine
<sgnb> I have not update lwt in a long time because of eliom
<Armael> sgnb: coq got rid of camlp5
<sgnb> oh
<sgnb> in which version?
<Drup> Armael: oh really ? What do they use now ?
<Armael> sgnb: 8.10 (still in beta atm)
<leah2> nice
<Armael> Drup: I believe they extracted the camlp5 engine and it's part of coq
<Armael> + some custom ml code
<Drup> that's probably for the best
<sgnb> I see
<Armael> they only needed the engine for the extensible grammar thingys
<Armael> not the ocaml-related stuff
<sgnb> that's one worry less
sagax has joined #ocaml
AtumT has joined #ocaml
Haudegen has quit [Ping timeout: 246 seconds]
gareppa has quit [Quit: Leaving]
spew has joined #ocaml
Haudegen has joined #ocaml
FreeBirdLjj has joined #ocaml
Serpent7776 has joined #ocaml
sonologico has joined #ocaml
Haudegen has quit [Ping timeout: 248 seconds]
Jesin has quit [Quit: Leaving]
jao has joined #ocaml
Jesin has joined #ocaml
ziyourenxiang has quit [Ping timeout: 245 seconds]
FreeBirdLjj has quit []
vicfred has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
jao has quit [Remote host closed the connection]
bartholin has quit [Read error: Connection reset by peer]
bartholin has joined #ocaml
sonologico has quit [Remote host closed the connection]
riveter has joined #ocaml
jnavila has joined #ocaml
FreeBirdLjj has joined #ocaml
khodzha1 has quit [Quit: Leaving.]
FreeBirdLjj has quit [Remote host closed the connection]
Birdface has quit [Remote host closed the connection]
Birdface has joined #ocaml
Birdface has quit [Remote host closed the connection]
hilmipilmi has joined #ocaml
hilmipilmi has left #ocaml [#ocaml]
gareppa has joined #ocaml
Birdface has joined #ocaml
jao has joined #ocaml
jao is now known as Guest49317
Birdface has quit [Remote host closed the connection]
Birdface has joined #ocaml
AtumT_ has joined #ocaml
AtumT has quit [Ping timeout: 268 seconds]
kakadu has joined #ocaml
AtumT has joined #ocaml
AtumT_ has quit [Ping timeout: 258 seconds]
jbrown has quit [Ping timeout: 264 seconds]
vicfred has quit [Quit: Leaving]
jbrown has joined #ocaml
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
Birdface has quit [Ping timeout: 248 seconds]
Guest49317 is now known as jao
gareppa has quit [Quit: Leaving]
vicfred has joined #ocaml
jao has quit [Ping timeout: 268 seconds]
Algebr has joined #ocaml
Serpent7776 has quit [Quit: leaving]
Haudegen has joined #ocaml
jfgorski has joined #ocaml
jfgorski has left #ocaml [#ocaml]
pyan has quit [Quit: ERC (IRC client for Emacs 26.2)]
kakadu has quit [Remote host closed the connection]
jnavila has quit [Ping timeout: 250 seconds]
pyan has joined #ocaml
oni-on-ion has joined #ocaml