<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
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
<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
<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…]