<theblatte>
it's really useful to prevent random breakages of your project and its deps when stuff gets updated in opam
alfredo has joined #ocaml
ia0 has joined #ocaml
<companion_cube>
I was hoping opam2 would provide such a feature natively
<theblatte>
that'd be cool
cdidd_ is now known as cdidd
kakadu has joined #ocaml
nightmared has quit [Ping timeout: 260 seconds]
<kakadu>
Folks, should the fact that ocaml 4.04 creates `OCaml object files (.cmo) (Version 011)` be suspicious?
<kakadu>
my intuition says: yes
<companion_cube>
why is it suspicious?
<companion_cube>
the version is a tag increased when the bytecode changes, I think
<kakadu>
the same (I think) compiler creates cmis of version 21
<companion_cube>
it's not a string
<companion_cube>
ah, interesting
<companion_cube>
but the two versions need not be synchronized, I guess
<kakadu>
Is it suspicious now? :)
<companion_cube>
signatures change more often (bc type system) than bytecode
<kakadu>
I also getting `interface mismatch` errors
johnelse has quit [Ping timeout: 268 seconds]
govg has quit [Remote host closed the connection]
govg has joined #ocaml
argent_smith has joined #ocaml
johnelse has joined #ocaml
vishesh has quit [Quit: WeeChat 1.4]
<Drup>
theblatte: it would be better to correctly put bounds in your opam file ...
vishesh has joined #ocaml
<def`>
kakadu: run `ocamlc -config`, look for cmo_magic_number
<theblatte>
Drup: the issue is that I need other packages to do the same and that's not always the case
<def`>
cmi is version 21, cmo version 11
<theblatte>
then infer gets broken because of a broken package
<theblatte>
infer's deps have the correct bounds
jpdeplaix1 has joined #ocaml
<Drup>
theblatte: well, you could also fix other bounds. That's already what you are doing here locally, except it doesn't help anyone else but you. You don't even really have to wait for them, just PR opam-repo with the fix with a cc to the maintainer, and there will be no real discussion, and everyone will end up being happier
jpdeplaix1 has quit [Client Quit]
richi235 has joined #ocaml
jpdeplaix1 has joined #ocaml
jpdeplaix has quit [Quit: WeeChat 1.3]
<theblatte>
Drup: that sounds like a lot of waiting with infer being broken in the meantime. I can send PRs to opam-repo *and* have opam.lock
<theblatte>
also, some people don't have aspcud installed and opam makes poor decisions then
<Drup>
regardless of poor decisions, if bounds are present, the decision will work.
<Drup>
(and given that opam PR that are not problematic are merged in a few hours, that's not so much waiting)
<theblatte>
I have a hard time finding a downside to having something always work instead of being sometimes broken for a few hours though
<Drup>
"Oh, i have my lock, I don't care about fixing the wide ecosystem since It Works For Me™"
<Drup>
(hi ruby's gem)
_y has quit [Ping timeout: 240 seconds]
Fistine has quit [Ping timeout: 260 seconds]
<theblatte>
again, that's a bit of a false dichotomy
tobiasBora has quit [Ping timeout: 260 seconds]
<companion_cube>
Drup: in a few hours or days, depends
<companion_cube>
on friday evening it takes longer :p
<Drup>
theblatte: When people start adding local fixes, they tend to "forget" to make the non local one. If you do both, then yes, you have my thanks and I'm happy :D
<theblatte>
yes that's true. My current plan is to have a way to easily update the lock file that would run periodically, that should detect issues.
<theblatte>
otherwise the other problem with the lock file is that deps can get stale...
<Drup>
exactly
<theblatte>
but it's nice to have this level of predictability and uniformity across installations of infer
<orbifx-m>
are coroutines supported?
orbifx-m has quit [Quit: Simple IRC: The quit option.]
<companion_cube>
orbifx just called yield
orbifx-m has joined #ocaml
tobiasBora has joined #ocaml
<orbifx-m>
are coroutines supported?
<companion_cube>
by OCaml? no
<companion_cube>
maybe one day, if multicore gets merged…
_y has joined #ocaml
Fistine has joined #ocaml
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 245 seconds]
govg has quit [Ping timeout: 245 seconds]
<orbifx-m>
why is multicore needed?
<def`>
orbifx-m: we don't know what you are asking for, so I guess companion_cube was guessing
govg has joined #ocaml
<orbifx-m>
if cooroutines can be implemented with ocaml
<def`>
yes
mfp has joined #ocaml
alfredo has quit [Ping timeout: 252 seconds]
alfredo has joined #ocaml
mengu has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
sfri has quit [Ping timeout: 252 seconds]
sfri has joined #ocaml
CcxWrk has quit [Ping timeout: 260 seconds]
CcxWrk has joined #ocaml
nightmared has joined #ocaml
jpdeplaix1 is now known as jpdeplaix
alfredo has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
_andre has joined #ocaml
chelfi has quit [Quit: WeeChat 1.7]
chelfi has joined #ocaml
govg has joined #ocaml
zpe has quit [Remote host closed the connection]
sh0t has joined #ocaml
alfredo has joined #ocaml
TheLemonMan has joined #ocaml
jmiven has quit [Quit: WeeChat 1.7]
jmiven has joined #ocaml
seangrove has quit [Ping timeout: 268 seconds]
octachron has joined #ocaml
freusque has quit [Quit: WeeChat 1.7]
freusque has joined #ocaml
vbmithr_ has quit [Read error: Connection reset by peer]
artart78 has quit [Read error: Connection reset by peer]
artart78 has joined #ocaml
yomimono has joined #ocaml
johnelse has quit [Ping timeout: 260 seconds]
johnelse has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
Mercuria1Alchemi has quit [Ping timeout: 252 seconds]
freyr has joined #ocaml
freyr has left #ocaml [#ocaml]
freyr has joined #ocaml
Denommus has joined #ocaml
al-damiri has joined #ocaml
kamog has quit [Remote host closed the connection]
isaachodes[m] has quit [K-Lined]
M-jimt has quit [K-Lined]
regnat[m] has quit [K-Lined]
timclassic has quit [K-Lined]
M-Illandan has quit [K-Lined]
ktosiek[m] has quit [K-Lined]
Bluddy[m] has quit [K-Lined]
aspiwack[m] has quit [K-Lined]
smondet[m] has quit [K-Lined]
M-martinklepsch has quit [K-Lined]
mars0i[m] has quit [K-Lined]
yetanotherion[m] has quit [K-Lined]
hpd_m has quit [K-Lined]
srenatus[m] has quit [K-Lined]
so has quit [Ping timeout: 240 seconds]
ryanartecona has joined #ocaml
ktosiek[m] has joined #ocaml
alfredo_ has joined #ocaml
alfredo has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
regnat[m] has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
jabroney has joined #ocaml
freyr has quit [Remote host closed the connection]
srenatus[m] has joined #ocaml
aspiwack[m] has joined #ocaml
M-jimt has joined #ocaml
timclassic has joined #ocaml
M-Illandan has joined #ocaml
yetanotherion[m] has joined #ocaml
M-martinklepsch has joined #ocaml
Bluddy[m] has joined #ocaml
smondet[m] has joined #ocaml
hpd_m has joined #ocaml
isaachodes[m] has joined #ocaml
mars0i[m] has joined #ocaml
shinnya has joined #ocaml
psacrifice has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
yomimono has quit [Ping timeout: 260 seconds]
fraggle_ has joined #ocaml
orbifx-m has quit [Ping timeout: 260 seconds]
maarhart has joined #ocaml
psacrifi_ has joined #ocaml
so has joined #ocaml
maarhart has quit [Remote host closed the connection]
<TheLemonMan>
is lwt-3 available on opam? a opam upgrade didn't pick it up
<companion_cube>
it is on opam, but maybe you cannot upgrade without breaking other things
<copy`>
You can try with `opam install lwt=3.0.0`, most likely currently blocked by lambda-term
<TheLemonMan>
that's it then, lambda-term/utop are blocking it
orbifx-m has quit [Read error: Connection reset by peer]
mengu has joined #ocaml
Muzer has quit [Ping timeout: 260 seconds]
psacrifice has quit []
ryanartecona has quit [Quit: ryanartecona]
freusque has quit [Quit: WeeChat 1.7]
mengu_ has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
kakadu has quit [Quit: Konversation terminated!]
Muzer has joined #ocaml
shinnya has quit [Ping timeout: 264 seconds]
gregoire_ has quit [Ping timeout: 260 seconds]
gregoire has joined #ocaml
jabroney has joined #ocaml
SpiceGuid has joined #ocaml
ryanartecona has joined #ocaml
ciniglio has quit [Ping timeout: 245 seconds]
SpiceGuid_ has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.46/20161213183751]]
kakadu has joined #ocaml
mengu_ is now known as mengu__
mengu__ is now known as mengu
MercurialAlchemi has quit [Ping timeout: 245 seconds]
AltGr has left #ocaml [#ocaml]
Denommus has quit [Ping timeout: 252 seconds]
strykerkkd has joined #ocaml
yomimono has quit [Ping timeout: 255 seconds]
eh_eff has joined #ocaml
SpiceGuid_ has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.46/20161213183751]]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
_andre has quit [Quit: leaving]
jabroney has quit [Read error: Connection reset by peer]
jabroney has joined #ocaml
jlouis has quit [Quit: leaving]
jlouis has joined #ocaml
tane has quit [Quit: Leaving]
ollehar has joined #ocaml
strykerkkd has quit [Quit: Leaving]
jabroney has quit [Quit: Leaving.]
yomimono has joined #ocaml
spew has quit [Ping timeout: 264 seconds]
ryanartecona has joined #ocaml
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 240 seconds]
cml has joined #ocaml
cdidd has quit [Ping timeout: 260 seconds]
cml has quit [Client Quit]
cdidd has joined #ocaml
Orion3k has joined #ocaml
spew has joined #ocaml
Simn has quit [Quit: Leaving]
orbifx has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
richi235 has quit [Ping timeout: 260 seconds]
ollehar1 has joined #ocaml
ollehar has quit [Remote host closed the connection]
ollehar1 is now known as ollehar
<orbifx>
def`: yes they can be implemented?
spew has quit [Ping timeout: 260 seconds]
simon3 has joined #ocaml
<simon3>
I have used topkg successfully with `carcass body topkg/pkg xxx`, `topkg build` and `topkg test`. but `opam pin add xxx .` always failed with the messages `xxx needs to be installed.\nYour request can't be satisfied:\n - camq.~unknown is not available because the package is pinned to /home/simon/Documents/codes/ocaml/camq, version ~unknown.`. Maybe I need to write extra lines in the `pkg.ml`? Don't know how to.
sh0t has quit [Remote host closed the connection]
spew has joined #ocaml
inr_ has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
inr has quit [Ping timeout: 240 seconds]
atsampson has quit [Ping timeout: 255 seconds]
kakadu has quit [Remote host closed the connection]
simon3 has quit [Ping timeout: 260 seconds]
atsampson has joined #ocaml
Canaimero-15d3 has joined #ocaml
<Canaimero-15d3>
hola
sz0 has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
moei has quit [Quit: Leaving...]
argent_smith1 has quit [Quit: Leaving.]
simon3 has joined #ocaml
jack5638 has joined #ocaml
simon___ has joined #ocaml
<simon3>
Never mind. I re-carcassed and everything is OK. Maybe due to some rubbish files.
simon___ has quit [Client Quit]
simon3 has left #ocaml ["ERC (IRC client for Emacs 26.0.50)"]
richi235 has joined #ocaml
<orbifx>
hola
infinity0_ has joined #ocaml
infinity0 is now known as Guest47825
Guest47825 has quit [Killed (verne.freenode.net (Nickname regained by services))]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ is now known as infinity0
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]