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]