ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.1 announcement at http://ocaml.org/releases/4.02.html | Public channel logs at http://irclog.whitequark.org/ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
* artagnon sighs
<artagnon> whitequark: Perhaps I should look outside code owners for review/ commit?
<artagnon> Forget it; I think Bill is a good candidate.
<artagnon> whitequark: Also, please have a look at this: http://pastie.org/9802785
<artagnon> Link error on Linux, links fine on OS X.
<artagnon> What changed?
<whitequark> dunno
<artagnon> Can you tell me how to start debugging this?
<artagnon> It's a pure OCaml bindings problem, iiuc.
<whitequark> I can't
<artagnon> :(
<artagnon> I'm on the verge of dumping OCaml and rewriting the whole thing in C++.
<artagnon> Better supported, I think.
<sheijk> artagnon: huh? have a look at the compiler/linker invocation and see which library is missing? (@how to debug that issue). that has nothing to do with debugging ocaml
rgrinberg has joined #ocaml
<artagnon> How could a library be missing? It would be missing on OSX too, right?
<artagnon> It's the exact same ocamlc invocation on both platforms.
<artagnon> iiuc, it's an issue with the packages meaning different things on different platforms.
mcclurmc has quit [Remote host closed the connection]
<artagnon> So when I say ocamlfind ocamlc ... -package llvm.executionengine -linkpkg ..., it means different things on linux and osx
<artagnon> Something is included in os x that's not included in linux.
malc_ has quit [Quit: leaving]
mcclurmc has joined #ocaml
Simn has quit [Quit: Leaving]
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
milosn has quit [Ping timeout: 264 seconds]
NoNNaN has quit [Remote host closed the connection]
stokey has joined #ocaml
NoNNaN has joined #ocaml
<whitequark> no, it does not do different things on linux and os x
<whitequark> llvm itself is likely built differently
<whitequark> could be related to -Was-needed
milosn has joined #ocaml
<artagnon> Thanks for the hint.
libertas has quit [Ping timeout: 256 seconds]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
avsm has quit [Quit: Leaving.]
rgrinberg has quit [Ping timeout: 244 seconds]
rgrinberg has joined #ocaml
contempt has quit [Ping timeout: 244 seconds]
contempt has joined #ocaml
_5kg has quit [Ping timeout: 240 seconds]
_5kg has joined #ocaml
ygrek has quit [Ping timeout: 244 seconds]
nojb has joined #ocaml
matason has quit [Quit: Leaving...]
hugomg has quit [Ping timeout: 240 seconds]
<artagnon> whitequark: Why does make -j8 fail with OCaml source (when make passes)?
<whitequark> because the buildsystem is broken
<artagnon> How is it broken, and how does it need to be fixed?
<artagnon> Are the dependencies not correct?
<whitequark> indeed
<artagnon> ... but they are!
<artagnon> I checked using ocamldep
<whitequark> ocamldep is not the entire story
<artagnon> Oh.
<artagnon> So it incidentally passes on make because the ordering of things in the Makefile is pseudo-correct.
<artagnon> Give me an example of something ocamldep wouldn't be able to tell.
<artagnon> (even in pure Ocaml code; no C complications)
<whitequark> the error will tell you what's broken
<artagnon> Okay, I'll try to work with an example.
<whitequark> there are some parallelism fixes in trunk already
<whitequark> so make sure to check it out
<artagnon> llvm trunk, you mean.
<artagnon> Yeah, I got the latest stuff.
<whitequark> no, ocaml trunk
<whitequark> or are you building LLVM? LLVM should not have parallelism bugs
<artagnon> I'm building llvm, Ocaml portions.
<artagnon> And -j8 fails.
* whitequark shrugs
mcclurmc has quit [Remote host closed the connection]
hugomg has joined #ocaml
<artagnon> Okay, so the good news is that I managed to reproduce the MetadataPrinter bug in C++ land. (and after the recent pull, on OS X too)
<artagnon> So, it's not an OCaml thing.
stokey has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Ping timeout: 272 seconds]
hugomg has quit [Ping timeout: 240 seconds]
nojb has quit [Quit: nojb]
rgrinberg has joined #ocaml
BitPuffin has joined #ocaml
nojb has joined #ocaml
hugomg has joined #ocaml
<Tekk_> Are you actually allowed to use modules as normal types? I'm trying to define a type which is a tuple of module M and M.t but it's giving me a syntax error. Using type foo = M * M.t with the error on the *
<whitequark> (module type of M) * M.t
<whitequark> hm, no
nojb has quit [Quit: nojb]
<whitequark> aha
<whitequark> module type T = module type of M
<whitequark> type foo = (module T) * M.t
<Tekk_> hmm
<Tekk_> that doesn't work on abstract modules
<Tekk_> but
<Tekk_> I think I was on the wrong path to begin with
<whitequark> abstract modules?
<Tekk_> modules that are just signatures to be concretely filled in later
<Tekk_> Looking at the modules reference I was basically just trying to badly reinvent functors :P
lordkryss has quit [Quit: Connection closed for inactivity]
darkf has joined #ocaml
<artagnon> whitequark: What's the equivalent of make check-lit TESTSUITE=Bindings/OCaml in the Cmake world?
* artagnon is migrating to Cmake
<whitequark> I dunno
<whitequark> I hate cmake
<artagnon> :|
<artagnon> I thought Make was going to be axed.
<whitequark> sometimes, maybe
<Tekk_> anyone know why ocamlbrowser doesn't actually save the path you give it?
<Tekk_> I'm writing a wrapper to autogen it for me now, but it seems a bit odd
<artagnon> whitequark: You broke a lot of OCaml tests with the recent merge.
<artagnon> ocamlfind: Package `llvm.vectorize' not found ... for many packages
<whitequark> hmm
<whitequark> that sounds unlikely
kapil__ has joined #ocaml
<artagnon> Do check it for yourself.
<artagnon> All 14 tests fail.
<whitequark> with make check-lit?
<artagnon> Yeah, that should give the same result.
<artagnon> I used make check-all
<artagnon> (after cmake)
<artagnon> Hm, you didn't touch ocaml/ after my patches.
<artagnon> The only explanation I have is that it's failing in the cmake codepath.
<whitequark> that's possible
<artagnon> The make ... is fine I guess.
Thooms has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Quit: Leaving.]
gabemc has joined #ocaml
<Tekk_> Is there any recommended way to get a directory's contents that's not just using the Unix module? it seems like a weirdly low level way to do things
<Tekk_> makes sense in C but it definitely feels odd
hugomg has quit [Ping timeout: 240 seconds]
<whitequark> um
<whitequark> calling readdir in a loop is hard?
<Tekk_> not that it's hard
<Tekk_> it just feels out of place
<whitequark> lwt has a wrapper
hugomg has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
oscar_toro has quit [Ping timeout: 264 seconds]
samrat has joined #ocaml
mcc has joined #ocaml
<Tekk_> struktured: it's fine, I took care of it
<Tekk_> I just wanted to make sure that in using Unix's version I wasn't doing something stupid
hugomg has quit [Quit: Leaving]
chinglish has joined #ocaml
<struktured> Tekk_: I like the containers version because it uses a generator which are easy to manipulate
psy has joined #ocaml
larhat has quit [Quit: Leaving.]
oriba has joined #ocaml
oriba has left #ocaml [#ocaml]
samrat has quit [Quit: Computer has gone to sleep.]
anemator has joined #ocaml
anemator has quit [Client Quit]
gabemc has quit [Ping timeout: 258 seconds]
jao has quit [Ping timeout: 264 seconds]
kapil__ has quit [Quit: Connection closed for inactivity]
samrat has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
samrat has joined #ocaml
psy has quit [Ping timeout: 244 seconds]
contempt has quit [Ping timeout: 245 seconds]
contempt has joined #ocaml
alkoma has joined #ocaml
kapil__ has joined #ocaml
ygrek has joined #ocaml
psy has joined #ocaml
alkoma has quit [Remote host closed the connection]
alkoma has joined #ocaml
alkoma has left #ocaml [#ocaml]
artagnon has left #ocaml [#ocaml]
_5kg has quit [Ping timeout: 256 seconds]
alkoma has joined #ocaml
kakadu has joined #ocaml
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
marynate has joined #ocaml
larhat has joined #ocaml
ebzzry has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 244 seconds]
_5kg has joined #ocaml
enitiz has quit [Ping timeout: 255 seconds]
mcc has quit [Quit: This computer has gone to sleep]
nojb has joined #ocaml
axiles has joined #ocaml
govg has joined #ocaml
BitPuffin has quit [Ping timeout: 272 seconds]
acieroid` has joined #ocaml
badon_ has joined #ocaml
badon has quit [Disconnected by services]
badon_ is now known as badon
jerith_ has joined #ocaml
rks`_ has joined #ocaml
sgnb` has joined #ocaml
jerith has quit [Ping timeout: 252 seconds]
xiaolin has quit [Ping timeout: 252 seconds]
acieroid has quit [Ping timeout: 252 seconds]
ivan\ has quit [Ping timeout: 252 seconds]
brendan has quit [Ping timeout: 252 seconds]
rks` has quit [Ping timeout: 252 seconds]
_2can has quit [Ping timeout: 252 seconds]
marynate has quit [Ping timeout: 252 seconds]
psy has quit [Ping timeout: 252 seconds]
ruoso_ has quit [Ping timeout: 252 seconds]
marynate has joined #ocaml
_2can has joined #ocaml
hannes has quit [Ping timeout: 252 seconds]
sgnb has quit [Ping timeout: 252 seconds]
ruoso has joined #ocaml
ivan\ has joined #ocaml
psy has joined #ocaml
hannes has joined #ocaml
brendan_ has joined #ocaml
_5kg has quit [Ping timeout: 272 seconds]
xiaolin has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
brendan_ has quit [Ping timeout: 252 seconds]
brendan_ has joined #ocaml
samrat has joined #ocaml
ggole has joined #ocaml
shinnya_ has joined #ocaml
_5kg has joined #ocaml
alkoma has quit [Remote host closed the connection]
alkoma has joined #ocaml
alkoma has quit [Remote host closed the connection]
jerith_ is now known as jerith
<Leonidas> Tekk_: Lwt >)
<Leonidas> :) that is
stokey has joined #ocaml
wwilly has joined #ocaml
_5kg has quit [Ping timeout: 245 seconds]
leowzukw has joined #ocaml
_5kg has joined #ocaml
martintrojer has joined #ocaml
Simn has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
nojb has quit [Quit: nojb]
_andre has joined #ocaml
Reventlov has quit [Quit: leaving]
Reventlov has joined #ocaml
tharugrim has quit [Ping timeout: 272 seconds]
sgnb`` has joined #ocaml
ontologiae has joined #ocaml
tharugrim has joined #ocaml
sgnb` has quit [Ping timeout: 240 seconds]
lordkryss has joined #ocaml
psy has quit [Ping timeout: 244 seconds]
mcclurmc has joined #ocaml
stokey has quit [Quit: Lost terminal]
mcclurmc has quit [Ping timeout: 244 seconds]
wwilly has left #ocaml ["Leaving"]
panini has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
milosn has quit [Remote host closed the connection]
martintrojer has quit [Quit: ZNC - http://znc.in]
milosn has joined #ocaml
samrat has joined #ocaml
psy has joined #ocaml
Hannibal_Smith has joined #ocaml
mcclurmc has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
ontologiae_ has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Ping timeout: 258 seconds]
martintrojer has joined #ocaml
samrat has joined #ocaml
nojb has joined #ocaml
psy has quit [Ping timeout: 265 seconds]
rks`_ has quit [Ping timeout: 240 seconds]
badkins has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
mcclurmc has joined #ocaml
oscar_toro has joined #ocaml
panini has quit [Ping timeout: 264 seconds]
mcclurmc has quit [Ping timeout: 255 seconds]
nojb has quit [Quit: nojb]
nojb has joined #ocaml
davine has joined #ocaml
davine has left #ocaml [#ocaml]
<adrien> ente^31c3: let me guess, you're 31C3 :P
<adrien> at*
nojb has quit [Quit: nojb]
BitPuffin has joined #ocaml
mcclurmc has joined #ocaml
<Leonidas> adrien: are you there as well?
<adrien> Leonidas: yup
<Leonidas> adrien: were you at the idris talk? i enjoyed that one quite a bit.
<adrien> nope, was at ... can't remember
<adrien> too many things at once :)
<Leonidas> yup!
mcclurmc has quit [Ping timeout: 272 seconds]
panini has joined #ocaml
enitiz has joined #ocaml
<ente^31c3> adrien: yep
<ente^31c3> the idris talk was nice, but I expected it to be that way, knowing raichoo
<ente^31c3> adrien: where are you?
<adrien> :)
<adrien> I'm near the entrance at a table in the hacking zone
<adrien> well, on the left of the vessel corridor when coming from the entrance :P
<ente^31c3> uh, that's going to be hard :D
<ente^31c3> I'm going for lunch with some friends. I'll try to find you afterwards
<adrien> tyeah, probably same here soonish
<adrien> haven't eaten since yesterday afternoon
<ente^31c3> my number is TLDR, and I'm at leiwandville (metalab table)
<adrien> (yay for club mate)
<ente^31c3> ttyl \o
<adrien> ok :)
<adrien> o/
hekmek has joined #ocaml
samrat has joined #ocaml
Hannibal_Smith has quit [Ping timeout: 264 seconds]
Muzer has quit [Excess Flood]
hilquias has joined #ocaml
ygrek has joined #ocaml
Muzer has joined #ocaml
Thooms has joined #ocaml
bytbox has quit [Remote host closed the connection]
Muzer has quit [Excess Flood]
rand000 has joined #ocaml
nojb has joined #ocaml
Muzer has joined #ocaml
<nicoo> ente^31c3: I can try hitting the leiwandville table (need to check if my phone materialised anyways)
<nicoo> Back soon
<ente^31c3> re
govg has quit [Ping timeout: 255 seconds]
govg has joined #ocaml
AlexRussia has quit [Ping timeout: 258 seconds]
leowzukw has quit [Ping timeout: 246 seconds]
leowzukw has joined #ocaml
pdewacht has joined #ocaml
ontologiae_ has quit [Ping timeout: 255 seconds]
bytbox has joined #ocaml
AlexRussia has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
oscar_toro has quit [Ping timeout: 255 seconds]
mcclurmc has joined #ocaml
darkf has quit [Quit: Leaving]
mcclurmc has quit [Ping timeout: 244 seconds]
psy has joined #ocaml
nojb has quit [Quit: nojb]
ygrek has quit [Ping timeout: 272 seconds]
hugomg has joined #ocaml
kapil__ has quit [Quit: Connection closed for inactivity]
nojb has joined #ocaml
andreypopp__ is now known as andreypopp
AlexRussia has quit [Ping timeout: 244 seconds]
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
hilquias has quit [Remote host closed the connection]
leowzukw has quit [Remote host closed the connection]
artagnon has joined #ocaml
badkins has quit [Remote host closed the connection]
<artagnon> whitequark: I found out what went wrong on the Cmake path. The "Deposit dependent libraries adjacent to Ocaml libs" step in Makefile.ocaml doesn't have an equivalent.
<Leonidas> heh, i just habe the current ocamlc version number as dect phone number
badkins has joined #ocaml
AlexRussia has joined #ocaml
gdsfh has quit [Ping timeout: 244 seconds]
fraggle-boate has quit [Ping timeout: 255 seconds]
gdsfh has joined #ocaml
fraggle-boate has joined #ocaml
badkins has quit [Ping timeout: 245 seconds]
<nicoo> adrien: If you want to meet ente^31c3 and I, we are at the teahouse
q66[lap]_ has joined #ocaml
q66[lap] has quit [Ping timeout: 250 seconds]
nojb has quit [Quit: nojb]
nojb has joined #ocaml
rks` has joined #ocaml
ontologiae_ has joined #ocaml
struktured has quit [Ping timeout: 258 seconds]
nojb has quit [Quit: nojb]
ontologiae_ has quit [Ping timeout: 240 seconds]
nojb has joined #ocaml
struktured has joined #ocaml
badkins has joined #ocaml
oriba has joined #ocaml
chinglish has joined #ocaml
marynate has quit [Quit: Leaving]
mcclurmc has joined #ocaml
matason has joined #ocaml
matason has quit [Client Quit]
hilquias has joined #ocaml
mcclurmc has quit [Ping timeout: 244 seconds]
BitPuffin has quit [Ping timeout: 256 seconds]
eyyub has joined #ocaml
teemperor has joined #ocaml
<teemperor> in hope an admin of ocaml.org is here, but the documentation link is down on this site: https://ocaml.org/learn/books.html => the link to the HTML tarball has a typo and is 404. The actual link has a "-html" instead of a ".html" at the end
<nojb> please report in https://github.com/ocaml/ocaml.org/
<artagnon> whitequark: The ln -s trick you've done in make is very difficult to replicate in cmake :|
<artagnon> Any hints?
<whitequark> hrm
<whitequark> how is it difficult?
<artagnon> GLOB isn't globbing at runtime.
<artagnon> It's happening at Cmake-invocation time.
<artagnon> I have no idea how to grab a list of *.a and *.o files in lib/
<whitequark> so, you can attach a POST_BUILD command to every library in AddOCaml
<whitequark> cmake/modules/AddOCaml.cmake, or something
<teemperor> nojb thank you very much for the link
Muzer has quit [Excess Flood]
<artagnon> whitequark: I'm not sure how that helps?
<artagnon> You need to link the llvm libs into the ocaml directory.
<whitequark> oh.
<artagnon> You don't need to do anything with the ocaml libs.
<whitequark> right
<whitequark> I'm fairly sure I did make the tests run
<whitequark> I know they run with shared builds
<artagnon> Shared build
<artagnon> What is that?
<whitequark> a build that produces LLVM as shared libraries
<whitequark> cmake -DLLVM_ENABLE_SHARED=TRUE, iirc
<artagnon> How does -Ll$ROOT/lib/ocaml pick it up though?
<artagnon> Er, -L$ROOT/lib/ocaml
<whitequark> it does not
<artagnon> Then?
<whitequark> rpath
* artagnon looks that up
<Leonidas> how do I (forcibly) unwrap an polymorphic variant type?
<whitequark> match on it
<Drup> what does that mean ?
<Leonidas> I have `Success foo and I want the foo
<artagnon> Ah, and cmake lets you control rpath.
<Leonidas> I was hoping for a less verbose way
<whitequark> it's passed explicitly in AddOCaml
<whitequark> Leonidas: make a function :]
<companion_cube> :)
<Drup> what whitequark said =')
mcclurmc has joined #ocaml
<whitequark> or even: make an operator. let (%$@!it) (`Success x) = x
<whitequark> ahem
<companion_cube> nah, typing
<artagnon> whitequark: Okay, why doesn't it work for non-shared setup?
shinnya- has joined #ocaml
<whitequark> do you expect me to remember it off the bat or what? if it got into the trunk, it was at least supposed to work
Muzer has joined #ocaml
<whitequark> si
<whitequark> *so
<whitequark> nevermind, I can actually answer this :]
<whitequark> rpath can only be embedded in .so, as there's simply no field for rpath in .a
* artagnon smiles
<artagnon> Perfect.
<whitequark> I'm *pretty* sure I did make tests pass
<whitequark> so, hm
<whitequark> it is supposed to pas -L$root/lib
<whitequark> *pass
demonimin_ has joined #ocaml
<artagnon> set(ocaml_flags "-lstdc++" "-ldopt" "-L${LLVM_LIBRARY_OUTPUT_INTDIR}"
<artagnon> ${ocaml_pkgs})
<artagnon> Are you talking about this?
<whitequark> quite possibly
boadie_ has joined #ocaml
<Leonidas> whitequark: I feel stupid but... matching it doesn't work
<whitequark> Leonidas: how do you do it?
<Leonidas> the type is [> `Success of foobar | `Something | `Somethingelse ]
fraggle-boate_ has joined #ocaml
<companion_cube> let yolo = function `Success x -> x | _ -> assert false
<whitequark> ^
<whitequark> artagnon: so. hrm. that's fairly weird clause actually
<Leonidas> and I tried let j = match myval with `Success x -> x
<Leonidas> let's thy
<whitequark> it should work in your case, but it's not the best in general
<whitequark> oh, -ldopt, nevermind what I said
<artagnon> whitequark: With make and cmake ^
enitiz_ has joined #ocaml
<whitequark> so, I'm 100% sure tests pass with autoconf on linux
<whitequark> with both shared and static builds
shinnya_ has quit [Ping timeout: 264 seconds]
<chinglish> .doge
* artagnon scratches his head
<artagnon> The -L is clearly not present in the cmake case.
<whitequark> sigh
<whitequark> let me see how it was supposed to function
<artagnon> I'm trying on OS X btw.
<artagnon> I'll try on Linux too.
myst|wor1 has joined #ocaml
demonimin_ has quit [Ping timeout: 246 seconds]
demonimin_ has joined #ocaml
<Leonidas> oh, I'm dumb, i completely missed the Lwt.t type, no wonder it doesn't typecheck
enitiz_ has quit [Read error: Connection reset by peer]
enitiz_ has joined #ocaml
<companion_cube> let get x = x >>= function `Success y -> Lwt.return y | _ -> Lwt.fail (Failure "yolo")
WraithM has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
fraggle-boate has quit [*.net *.split]
enitiz has quit [*.net *.split]
larhat has quit [*.net *.split]
demonimin has quit [*.net *.split]
boadie has quit [*.net *.split]
myst|work has quit [*.net *.split]
eyyub1 has joined #ocaml
eyyub has quit [Ping timeout: 255 seconds]
_andre has quit [Ping timeout: 255 seconds]
nojb has quit [Quit: nojb]
_andre has joined #ocaml
larhat has joined #ocaml
rand000 has quit [Quit: leaving]
hekmek has quit [Quit: Verlassend]
nojb has joined #ocaml
<whitequark> artagnon: so, lit.cfg:196 passes the -L flag to tests
<whitequark> I dunno why is it broken on OS X
<whitequark> the tests indeed do not pass on Linux, hmm,
govg has quit [Ping timeout: 240 seconds]
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
MrScout has joined #ocaml
nojb has quit [Quit: nojb]
bezirg has joined #ocaml
demonimin_ has quit [Ping timeout: 258 seconds]
Muzer has quit [Excess Flood]
gabemc has joined #ocaml
demonimin has joined #ocaml
ontologiae_ has joined #ocaml
Muzer has joined #ocaml
sgnb`` is now known as sgnb
ontologiae_ has quit [Ping timeout: 240 seconds]
<Leonidas> What does the u"user" in utop mean?
<Leonidas> I know these from Python, but haven't seen these in ocaml yet
panini has quit [Remote host closed the connection]
<flux> well, usually u"user" would be the same as u "user"
<flux> maybe u is a function that takes a string and returns some unicode encoding of it
<Leonidas> "a";;
<Leonidas> - : string = u"a"
<Leonidas> maybe something from Lwt
<flux> hmm, ok. haven't seen that. doesn't happen in my utop.
<Leonidas> hmm, also happens in a fresh utop. maybe it is due to batteries or some other thing. Nevermind, seems like I can just ignore that
larhat has quit [Quit: Leaving.]
struktured has quit [Ping timeout: 272 seconds]
mcclurmc has quit [Remote host closed the connection]
<smondet> Leonidas: it looks like what used to be the "utf8-strings" syntax extension
<smondet> it was in the old version of batteries
nojb has joined #ocaml
teemperor has quit [Ping timeout: 246 seconds]
BitPuffin has joined #ocaml
Arsenik has joined #ocaml
<Leonidas> smondet: odd, I believe I have batteries 2.3.1
<Leonidas> but its most likely it is exactly this
<Leonidas> thanks!
tane has joined #ocaml
lambdahands has joined #ocaml
struktured has joined #ocaml
bezirg has left #ocaml [#ocaml]
lambdahands has quit [Ping timeout: 264 seconds]
BitPuffin has quit [Ping timeout: 240 seconds]
alkoma has joined #ocaml
mcclurmc has joined #ocaml
_andre has quit [Quit: leaving]
mcclurmc has quit [Remote host closed the connection]
gabemc has quit [Ping timeout: 258 seconds]
tane has quit [Quit: Verlassend]
nojb has quit [Quit: nojb]
nojb has joined #ocaml
nojb has quit [Quit: nojb]
ggole has quit []
oriba has quit [Ping timeout: 256 seconds]
nojb has joined #ocaml
jonludlam has quit [Ping timeout: 245 seconds]
mcc has joined #ocaml
acieroid` has quit [Ping timeout: 244 seconds]
enitiz_ has quit [Ping timeout: 244 seconds]
q66[lap]_ is now known as q66[lap]
enitiz_ has joined #ocaml
mcc has quit [Quit: This computer has gone to sleep]
samrat has quit [Quit: Computer has gone to sleep.]
mcc has joined #ocaml
cthuluh has quit [Remote host closed the connection]
RossJH has joined #ocaml
cthuluh has joined #ocaml
Hannibal_Smith has joined #ocaml
struktured has quit [Ping timeout: 256 seconds]
lambdahands has joined #ocaml
rgrinberg has joined #ocaml
hugomg has quit [Quit: Leaving]
oriba has joined #ocaml
axiles has quit [Remote host closed the connection]
Arsenik has quit [Remote host closed the connection]
badkins has quit [Remote host closed the connection]
keen__________17 has joined #ocaml
artagnon has left #ocaml [#ocaml]
keen__________16 has quit [Ping timeout: 240 seconds]
nojb has quit [Quit: nojb]
matason has joined #ocaml
nojb has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
mcc has quit [Quit: This computer has gone to sleep]
kakadu has quit [Quit: Konversation terminated!]
rgrinberg has joined #ocaml
hilquias has quit [Remote host closed the connection]
<Leonidas> whitequark: can you document what the `Error loc in ppx_deriving_yojson is supposed to return?
<companion_cube> I don't think you should rely on the precise values it returns
<companion_cube> just error messages, right?
<Leonidas> it says that it is the point in the json hierarchy, but I don't know how to get that point in my own converters
Simn has quit [Quit: Leaving]
<Leonidas> companion_cube: sure, I'd just like to keep it mostly consistent with the build-in converters :-)
<Leonidas> I'm interfacing with an app by an startup and man is their JSON API shit
<Leonidas> it just randomly has fields or lacks these, not consistent with the docs or amything
<MercurialAlchemi> well, sometimes you do that when you really have a lot of fields
<MercurialAlchemi> even if I agree it's a bad thing to do
acieroid has joined #ocaml
badkins has joined #ocaml
badkins has quit [Remote host closed the connection]
badkins_ has joined #ocaml
artagnon has joined #ocaml
<artagnon> whitequark: Sorry, was away for a bit. Any progress?
lambdahands has quit [Ping timeout: 250 seconds]
jhaberstro has joined #ocaml
badkins has joined #ocaml
<jhaberstro> Hi all, I have a functor question: if I have module M = MyFunctor(struct …. end), how do I write the equivale interface in the .mli? I was hoping I could do module M = MyFunctor(sig … end), but that doesn’t seem to do the trick unfortunately.
badkins_ has quit [Ping timeout: 258 seconds]
<def`> usually a signature of the functor result is provided
<def`> e.g. module M : MyFunctorS with type t = ...
<def`> otherwise, you can do module M : module type of MyFunctor(struct...end)
<jhaberstro> in the first syntax, the “type t” refers to a presumed abstract type t defined in the functor’s signature?
badkins has quit []
<def`> jhaberstro: yes
<jhaberstro> awesome, thanks! That did the trick :)
<def`> you adjust the template signature to match the result of the instantiation
<def`> np :)
jonludlam has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
nojb has quit [Quit: nojb]
rgrinberg has joined #ocaml
matason has quit [Quit: Leaving...]
MercurialAlchemi has quit [Ping timeout: 265 seconds]
matason has joined #ocaml
ivan\ has quit [Ping timeout: 244 seconds]
jhaberstro has quit [Quit: jhaberstro]
ivan\ has joined #ocaml
jhaberstro has joined #ocaml
RossJH has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
jhaberstro has quit [Quit: jhaberstro]
struktured has joined #ocaml