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
hio has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]
AtumT has quit [Quit: AtumT]
kvda has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
jao has quit [Ping timeout: 272 seconds]
cantstanya has quit [Ping timeout: 260 seconds]
cantstanya has joined #ocaml
vicfred has quit [Ping timeout: 245 seconds]
vicfred has joined #ocaml
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 245 seconds]
liberiga has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
_whitelogger has joined #ocaml
gravicappa has joined #ocaml
Serpent7776 has joined #ocaml
sonologico has quit [Remote host closed the connection]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
jbrown has joined #ocaml
ygrek has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
liberiga has quit [Remote host closed the connection]
Birdface has joined #ocaml
Geekingfrog has quit [Quit: ZNC 1.6.3 - http://znc.in]
jfgorski has joined #ocaml
Geekingfrog has joined #ocaml
sg has joined #ocaml
Vikfret has joined #ocaml
erkin has joined #ocaml
Vikfret has quit [Quit: Leaving]
barockobamo has joined #ocaml
barockobamo2 has joined #ocaml
barockobamo has quit [Ping timeout: 244 seconds]
barockobamo2 has quit [Remote host closed the connection]
barockobamo has joined #ocaml
klntsky has quit [Ping timeout: 260 seconds]
klntsky has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
Haudegen has joined #ocaml
oni-on-ion has joined #ocaml
ggole has joined #ocaml
count3rmeasure has joined #ocaml
ygrek has quit [Ping timeout: 268 seconds]
<hannes> is there a document specifying the .install files opam(-installer) uses?
tormen has joined #ocaml
sz0 has joined #ocaml
tormen_ has quit [Ping timeout: 245 seconds]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 245 seconds]
Birdface has quit [Remote host closed the connection]
Birdface has joined #ocaml
<Leonidas> meh, opam times out determining depexts :( https://travis-ci.org/inhabitedtype/ocaml-aws/jobs/566361897
kvda has joined #ocaml
dimitarvp has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Vikfret has joined #ocaml
Birdface has quit [Ping timeout: 268 seconds]
coucou747 has joined #ocaml
Birdface has joined #ocaml
something-else has joined #ocaml
<something-else> Hi, in dune is it possible to make an exception for the preprocessor?
<something-else> Say you have a lot of files to preprocess but one .messages file you want to keep intact
<something-else> if anyone was curious, i bypassed the problem by specifying a rule with the target of what i was saving and used an action to generate it
something-else has quit [Remote host closed the connection]
pzp has joined #ocaml
AtumT has joined #ocaml
oni-on-ion has quit [Ping timeout: 264 seconds]
jao has joined #ocaml
Birdface has quit [Remote host closed the connection]
count3rmeasure has quit [Remote host closed the connection]
spew has joined #ocaml
Birdface has joined #ocaml
Netsu has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
<Netsu> What is the most adequate way to get jsonm implementation (deriving?) for Base.Map.Make(String) ???
<Armael> I think you probably have to write converters by hand, it wouldn't make much sense to use a deriving ppx on the implementation of Map (which is abstract anyway)
<Armael> (you wouldn't want your output json to correspond to balanced binary trees)
<Netsu> yeah, but Hashtbl on other hand have such instance
<Armael> ah, hmm
<Armael> I don't know how that works then, sorry
FreeBirdLjj has joined #ocaml
oni-on-ion has joined #ocaml
gareppa has joined #ocaml
Netsu has quit [Quit: Ping timeout (120 seconds)]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 244 seconds]
pzp has quit [Quit: Connection closed for inactivity]
jfgorski has quit [Ping timeout: 245 seconds]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
gareppa has quit [Quit: Leaving]
gareppa has joined #ocaml
gareppa has quit [Max SendQ exceeded]
gareppa has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
jao has joined #ocaml
gareppa has quit [Quit: Leaving]
gareppa has joined #ocaml
gareppa has quit [Quit: Leaving]
barockobamo has quit [Remote host closed the connection]
tane has joined #ocaml
pyan has quit [Ping timeout: 252 seconds]
ziyourenxiang has quit [Ping timeout: 248 seconds]
gareppa has joined #ocaml
jnavila has joined #ocaml
FreeBirdLjj has joined #ocaml
gareppa has quit [Quit: Leaving]
FreeBirdLjj has quit [Ping timeout: 272 seconds]
khodzha has quit [Quit: Leaving.]
Niamkik has quit [Ping timeout: 245 seconds]
Niamkik has joined #ocaml
Niamkik has quit [Ping timeout: 244 seconds]
Niamkik has joined #ocaml
gareppa has joined #ocaml
Birdface has quit [Remote host closed the connection]
Niamkik has quit [Ping timeout: 252 seconds]
Niamkik has joined #ocaml
Birdface has joined #ocaml
Birdface has quit [Remote host closed the connection]
Birdface has joined #ocaml
gareppa has quit [Quit: Leaving]
gareppa has joined #ocaml
kakadu has joined #ocaml
Bahman has quit [Remote host closed the connection]
gareppa has quit [Quit: Leaving]
gareppa has joined #ocaml
jao has quit [Remote host closed the connection]
gravicappa has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
jao is now known as Guest1835
Guest1835 is now known as jao
jbrown has quit [Ping timeout: 246 seconds]
bitwinery has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
Serpent7776 has quit [Quit: leaving]
ggole has quit [Quit: Leaving]
jbrown has joined #ocaml
sonologico has joined #ocaml
gareppa has quit [Quit: Leaving]
dh_work has joined #ocaml
<dh_work> what does the error "This instance of type ... is ambiguous; it would escape the scope of its equation" mean?
Hrundi_V_Bakshi has joined #ocaml
<dh_work> ... is "bool" right now if that helps (makes it even less comprehensible to me)
<dh_work> it's related somehow to matching gadts
<zozozo> dh_work: iirc, it's when you match on a gadt, introducing some local type equation, and you try and return something of a type that was introduced by your pattern matching
SpiceGuid has joined #ocaml
<dh_work> yeah it seems to be something like that
<dh_work> match foo with | Foo_ctor (Foo_is_bool, b) -> (stuff, Bool b)
<dh_work> and similar with int and a couple others
<dh_work> seems to think that bool escapes, but it doesn't
jbrown has quit [Ping timeout: 250 seconds]
<dh_work> (Bool (and Int etc.) are constructors for a different type)
<zozozo> oh, try adding some type annotations on your return values to specify their types
<zozozo> sometimes that helps
<dh_work> yeah, it seems to have
<dh_work> at this point just wondering if it's a bug
<dh_work> (I didn't write this code, myself would probably avoid gadts, at least in ocaml)
Birdface has quit [Ping timeout: 268 seconds]
jnavila has quit [Ping timeout: 252 seconds]
sonologico has quit [Remote host closed the connection]
sonologico has joined #ocaml
jbrown has joined #ocaml
pyan has joined #ocaml
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]
tane has quit [Quit: Leaving]
kakadu has quit [Remote host closed the connection]
liberiga has joined #ocaml
Niamkik has quit [Ping timeout: 244 seconds]
Niamkik has joined #ocaml
hio has quit [Quit: Connection closed for inactivity]
<pgiarrusso> dh_work: matching on GADTs can *require* type annotations, it's not full Hindley-Milner
<pgiarrusso> dunno in OCaml, but the GHC papers on this are pretty explicit; sometimes there just is *no* "best" type (principal type) to guess
alexelcu_ has joined #ocaml
monad_cat_ has joined #ocaml
bjs_ has joined #ocaml
<pgiarrusso> (but I'd strongly expect OCaml to have the same problem)
l1x_ has joined #ocaml
rjungemann_ has joined #ocaml
Xizor_ has joined #ocaml
stephe_ has joined #ocaml
timeless_ has joined #ocaml
Niamkik has quit [Ping timeout: 246 seconds]
rosterok has quit [Quit: Connection closed for inactivity]
timeless has quit [*.net *.split]
monad_cat has quit [*.net *.split]
stephe has quit [*.net *.split]
alexelcu has quit [*.net *.split]
l1x has quit [*.net *.split]
Xizor has quit [*.net *.split]
rjungemann has quit [*.net *.split]
bjs has quit [*.net *.split]
monad_cat_ is now known as monad_cat
stephe_ is now known as stephe
alexelcu_ is now known as alexelcu
timeless_ is now known as timeless
rjungemann_ is now known as rjungemann
l1x_ is now known as l1x
bjs_ is now known as bjs
Niamkik has joined #ocaml
xorpse has quit [Ping timeout: 272 seconds]
jave has quit [Ping timeout: 272 seconds]
xorpse has joined #ocaml
jave has joined #ocaml
oni-on-ion has quit [Ping timeout: 264 seconds]
ziyourenxiang has joined #ocaml
Vikfret has quit [Quit: Leaving]
Hrundi_V_Bakshi has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
jbrown has quit [Ping timeout: 252 seconds]
jbrown has joined #ocaml
cantstanya has quit [Remote host closed the connection]
spew has quit [Quit: Connection closed for inactivity]
cantstanya has joined #ocaml
dimitarvp has quit [Quit: Bye]
AtumT has quit [Quit: AtumT]