dtornabene has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 248 seconds]
kerrhau has joined #ocaml
enterprisey has joined #ocaml
_whitelogger has joined #ocaml
lucasem has joined #ocaml
<lucasem>
It's time to upgrade my codebase from 4.02.3 to 4.06.0. I'm using Core. Is there an easy way of resolving all these ~equal arguments that have been added? Or is my codebase about to get significantly messier?
<lucasem>
(113.33.03 -> v0.9)
enterprisey has quit [Remote host closed the connection]
ousado_ has quit [Ping timeout: 248 seconds]
sh0t has quit [Remote host closed the connection]
ousado_ has joined #ocaml
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
rpcope has quit [Ping timeout: 260 seconds]
rpcope has joined #ocaml
lgd has quit [Read error: Connection reset by peer]
lgd has joined #ocaml
jao has joined #ocaml
cbot has joined #ocaml
Algebr has quit [Ping timeout: 248 seconds]
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
nomicflux has quit [Quit: nomicflux]
lgd_ has joined #ocaml
lgd has quit [Remote host closed the connection]
mfp has quit [Ping timeout: 240 seconds]
pierpa has quit [Quit: Page closed]
shinnya has joined #ocaml
<lucasem>
The ~equal args are in reference to Core.List.Assoc.find and Core.List.mem
enterprisey has joined #ocaml
jimmyrcom has quit [Remote host closed the connection]
govg has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
_whitelogger has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
lgd_ has quit [Remote host closed the connection]
lgd_ has joined #ocaml
infinity0_ has joined #ocaml
infinity0 has quit [Killed (weber.freenode.net (Nickname regained by services))]
infinity0_ is now known as infinity0
infinity0 has joined #ocaml
infinity0 has quit [Changing host]
al-damiri has quit [Quit: Connection closed for inactivity]
jbrown has quit [Ping timeout: 248 seconds]
andrewalker has quit [Ping timeout: 248 seconds]
andrewalker has joined #ocaml
_whitelogger has joined #ocaml
TheLemonMan has joined #ocaml
cbot has quit [Quit: Leaving]
kakadu has joined #ocaml
zmt00 has quit [Ping timeout: 260 seconds]
enterprisey has quit [Ping timeout: 248 seconds]
Geekingfrog has joined #ocaml
kakadu has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
enterprisey has joined #ocaml
slash^ has joined #ocaml
enterprisey has quit [Ping timeout: 240 seconds]
argent_smith has joined #ocaml
jnavila has joined #ocaml
jnavila has quit [Ping timeout: 248 seconds]
jnavila has joined #ocaml
mfp has joined #ocaml
zolk3ri has joined #ocaml
Terminus has left #ocaml [#ocaml]
jnavila has quit [Ping timeout: 240 seconds]
argent_smith has quit [Quit: Leaving.]
jnavila has joined #ocaml
cranmax has joined #ocaml
infinity0 has quit [Remote host closed the connection]
kerrhau has quit [Ping timeout: 240 seconds]
<rgrinberg>
lucasem: recent versions of core are much more strict about polymorphic comparison. So I'd assume so
<rgrinberg>
This is a good thing though. Polymorphic comparison should be avoided when possible.
nomicflux has joined #ocaml
infinity0 has joined #ocaml
eni has joined #ocaml
eni is now known as Guest4448
kakadu has quit [Ping timeout: 248 seconds]
kakadu_ has joined #ocaml
Guest4448 is now known as eni
kakadu_ has quit [Read error: Connection reset by peer]
kakadu_ has joined #ocaml
ilovezfs_ has joined #ocaml
<ilovezfs_>
when I do `opam install num` with 4.06.0, it doesn't respect OPAMROOT
<ilovezfs_>
anyone else seen this yet?
<ilovezfs_>
# install: /usr/local/lib/ocaml/nums.cma: Operation not permitted
<octachron>
ilovezfs_, this is done explicitely for compatibility reason: https://github.com/ocaml/num/pull/2 ; I imagine that distribution should package explicitely a num library to be used with their ocaml package
<ilovezfs_>
yikes
<ilovezfs_>
octachron: ok we can probably add a num formula to Homebrew then.
<ilovezfs_>
do you know if it has a standard name yet in the Linux distros?
<ilovezfs_>
like "ocaml-num" or something
sz0 has joined #ocaml
<octachron>
I don't know if any linux distribution has packaged 4.06 yet (4.06 being one day old)
<octachron>
My personal opinion is that ocaml-num sounds good; and it does not seem that any linux distribution has picked this packaging issue yet
<ilovezfs_>
ok
ygrek_ has joined #ocaml
leah2 has quit [Ping timeout: 264 seconds]
leah2 has joined #ocaml
argent_smith has joined #ocaml
wklm has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
JeanMax` has joined #ocaml
rtb has joined #ocaml
JeanMax has quit [Ping timeout: 248 seconds]
nomicflux has quit [Quit: nomicflux]
tormen has quit [Remote host closed the connection]
<jnavila>
Hi all,
<jnavila>
I've got two opam packages in a single repo. One is a lib and the other is a set of executables using the lib. How do I instruct ocaml-ci to use the lib when compiling and testing the executables? Right now, the compilation fails with "External library not found".
tane has joined #ocaml
nomicflux has joined #ocaml
jao has joined #ocaml
dtornabene has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
ygrek_ has quit [Ping timeout: 252 seconds]
ygrek_ has joined #ocaml
<rtb>
Hi all, is the standard lib considered to be usable? Mirage e.g. uses no third standard lib from jane street, batteries.
<companion_cube>
it's usable
<companion_cube>
but often you'll have your own module with util functions on the side
<rtb>
yes I'm looking for the last one too :) because I couldn't find "@->" in mirage code
<companion_cube>
might be from functoria?
<companion_cube>
you can use merlin and try and see where functions come from and what their types are
<jcelerier>
is there an easy way to do strong typedefs in ocaml ? eg I'd like to do `type foo = int and type bar = int` and not have bar's be convertible into foo's
<rgrinberg>
jnavila: this is my bad. there's a PR in opam-repository to fix this. Hopefully someone will merge it soon
<rgrinberg>
jcelerier: add a constructor or make the types abstract
<jcelerier>
ah, yes
<jcelerier>
type foo = Foo of int ;;
<jcelerier>
should do it, thanks !
<companion_cube>
or private abstract, no overhead
<jnavila>
or type 'a foo = int
<reynir>
I think you can do type foo = Foo of int [@@unboxed], too
<reynir>
erm, [@unboxed] I guess
<reynir>
(sorry, I haven't used this attribute myself)
ygrek_ has quit [Ping timeout: 260 seconds]
<jcelerier>
Foo of int worked fine!
<jcelerier>
(don't really care about performance for this one... i'm just modeling an existing c++ system in caml for a paper)
<reynir>
:)
<jnavila>
rgrinberg: This is still failing. How can I monitor the deployment of the new opam data?
<ilovezfs_>
ocaml 4.06.0 and ocaml-num 1.1 have shipped in Homebrew!
slash^ has quit [Read error: Connection reset by peer]
rtb has quit [Ping timeout: 248 seconds]
enterprisey has joined #ocaml
<rgrinberg>
jnavila: i think avsm merged the PR that will fix this. opam update should make things work
jbrown has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
enterprisey has quit [Ping timeout: 248 seconds]
<jnavila>
rgrinberg: I saw the merge, but travis is still failing with this error
sh0t has joined #ocaml
Jesin has joined #ocaml
enterprisey has joined #ocaml
<jnavila>
Never mind. The cache of travis was somehow corrupted.
Jesin has quit [Ping timeout: 264 seconds]
enterprisey has quit [Ping timeout: 240 seconds]
Jesin has joined #ocaml
kalio has quit [Quit: WeeChat 1.9.1]
kalio has joined #ocaml
jcelerier has quit [Quit: WeeChat 1.9.1]
<XGP15A-II>
Hi, what is the magic whitespace that allows me to copy and paste definitions from the tutorial, but if I type them in by hand it fails with "syntax error"