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]
<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
<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]
<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]