seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
q66 has quit [Quit: Leaving]
manizzle has quit [Ping timeout: 255 seconds]
lopex_ is now known as lopex
madroach has joined #ocaml
f[x] has quit [Ping timeout: 255 seconds]
Eyyub has quit [Ping timeout: 255 seconds]
yacks has quit [Ping timeout: 245 seconds]
jbrown has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
WraithM has quit [Ping timeout: 264 seconds]
yacks has joined #ocaml
f[x] has joined #ocaml
samebchase has quit [Ping timeout: 240 seconds]
samebchase has joined #ocaml
manizzle has joined #ocaml
penglingbo has joined #ocaml
SethTisue has quit [Quit: SethTisue]
SethTisue has joined #ocaml
SethTisue has quit [Client Quit]
ontologiae has joined #ocaml
groovy2shoes has quit [Ping timeout: 244 seconds]
ontologiae has quit [Ping timeout: 240 seconds]
claudiuc has quit [Ping timeout: 264 seconds]
Ptival has left #ocaml [#ocaml]
araujo has quit [Quit: Leaving]
racycle has joined #ocaml
ygrek_ has joined #ocaml
f[x] has quit [Ping timeout: 245 seconds]
WraithM has joined #ocaml
Eyyub has joined #ocaml
siddharthv_away is now known as siddharthv
axiles has joined #ocaml
NoNNaN has joined #ocaml
NoNNaN has quit [Ping timeout: 264 seconds]
ontologiae has joined #ocaml
yacks has quit [Ping timeout: 240 seconds]
ontologiae has quit [Ping timeout: 255 seconds]
<orbitz>
Hello
<orbitz>
any suggestions for how to track down
<orbitz>
Error: No implementations provided for the following modules
<orbitz>
i did an ocamlobjinfo nad i can see the implementations it complains about are present there
<orbitz>
The full error
<orbitz>
Error: No implementations provided for the following modules: Kaiju_kv_transport referenced from /home/mmatalka/projects/kaiju/lib/kaiju_kv/kaiju_kv.cmxa(Kaiju_kv) Kaiju_kv_backend referenced from /home/mmatalka/projects/kaiju/lib/kaiju_kv/kaiju_kv.cmxa(Kaiju_kv)
<orbitz>
does the order of the -package list matter? kaiju_kv_memory_backend depends on kaiju_kv, but it's not complaining about an interdepenency mishap..
<mrvn>
yes
<mrvn>
unless ocamlfind does a topological sort for you
<adrien>
you could add -verbose to that command to make sure it's right
<adrien>
ocamlfind does the sort
<orbitz>
changign the ordering did not affect naything
<adrien>
but maybe the information it has is wrong
<adrien>
so, copy-paste the command, add -verbose :P
<orbitz>
but regardless, Kaiju_kv_transport is in the same dep as Kaiju_kv, and i can see it in the output of ocamlobjinfo kaiju_kv.cmxa
<mrvn>
why not add Kaiju_kv_transport to tha package list?
Hannibal_Smith has joined #ocaml
<orbitz>
If i understand you proeprly: it isn't a package
<mrvn>
kaiju_kv_transport.cmx should be before kaiju_kv.cmx
<orbitz>
ok
<orbitz>
that is the order that ocamldep -sort is giving me oddly
<orbitz>
I've got to ru nto work, thanks for the help, I'll be back if I can't figure it out!
strobegen has quit [Read error: Connection reset by peer]
strobegen has joined #ocaml
Eyyub has quit [Ping timeout: 255 seconds]
ygrek_ has quit [Ping timeout: 264 seconds]
Arsenik has joined #ocaml
hto has quit [Quit: leaving]
Hannibal_Smith has quit [Quit: Sto andando via]
ggole has joined #ocaml
hto has joined #ocaml
alpounet has joined #ocaml
<orbitz>
so, ocamldep really wants to order them that way
manizzle has quit [Ping timeout: 255 seconds]
Arsenik has quit [Remote host closed the connection]
<orbitz>
hrm no the problem is elsewhere..
ontologiae has joined #ocaml
ebzzry_ has quit [Remote host closed the connection]
<orbitz>
mrvn, adrien : thanks, found a bug in my build system :)
ontologiae has quit [Ping timeout: 264 seconds]
<adrien_oww>
orbitz: oh?
<orbitz>
i'm nto sure why this bug popped up, but I just force a few more calls to ocamldep and it works
<orbitz>
the scaffolding for my app is almost complete! I just need to implement some minimal components and I should have a test run through the entire flow by the end of the week, wheee
<adrien_oww>
also keep in mind that ocamldep isn't perfect
<adrien_oww>
well, it works as well as it could but depending on how you name your files it might not be funny
<orbitz>
thanks for the tip
avsm has joined #ocaml
cago has joined #ocaml
ygrek_ has joined #ocaml
AltGr has joined #ocaml
hhugo has joined #ocaml
NoNNaN has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
yacks has quit [Ping timeout: 244 seconds]
BitPuffin has quit [Ping timeout: 245 seconds]
octachron has joined #ocaml
sagotch has joined #ocaml
cago has left #ocaml [#ocaml]
Kakadu has joined #ocaml
yacks has joined #ocaml
manizzle has joined #ocaml
avsm has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
Snark has quit [Ping timeout: 240 seconds]
hhugo has quit [Quit: Leaving.]
ontologiae has joined #ocaml
BitPuffin has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
hhugo has joined #ocaml
<jpdeplaix>
w
<jpdeplaix>
whitequark: what's the difference between vectors and arrays in llvm ?
<asmanur>
ggole: thanks! -- set-temporary-keymap was what i was looking for but didn't find :(
<companion_cube>
does anyone know if it's possible to tell ocamlfind where it's supposed to find/install libs, with a CLI flag?
thomasga has joined #ocaml
<adrien_oww>
companion_cube: man ocamlfind.conf
<ggole>
asmanur: yeah, it's a bit hidden away
<ggole>
(And there's a lot of emacs for it to hide in.)
<companion_cube>
no such manual...
<adrien_oww>
companion_cube: right: findlib.conf
<companion_cube>
yes
<companion_cube>
thanks
thomasga has quit [Quit: Leaving.]
<sagotch>
jpdeplaix, whitequark, do you know what should I do if I find a typo in llvm doc (ocaml binding)? I added a comment on the commit's line on github but I do not know if someone would really care on the mirror.
maattdd has joined #ocaml
ggole has quit [Ping timeout: 240 seconds]
<BitPuffin>
I don't know if my messages got through
<BitPuffin>
got disconnected
<adrien_oww>
didn't
<BitPuffin>
ah
<BitPuffin>
was asking if the Lwt_preemptive module is the one for working with native Thread threads
<BitPuffin>
and that Lwt_mutex is probably not for usage with Thread threads
thomasga has joined #ocaml
ggole has joined #ocaml
jludlam has joined #ocaml
rand000 has joined #ocaml
sagotch has quit [Ping timeout: 264 seconds]
claudiuc has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
eikke__ has joined #ocaml
claudiuc has quit [Remote host closed the connection]
<octachron>
Is it possible to use a first class module as an optional argument? ( The syntax "?(module M : Sig = D )" doesn't work and the manual does'nt mention this use case. )
<ggole>
Or let f ?x:((module F : FOO) = (module Foo)) () = ...
<octachron>
Ok, thanks
<def`>
Awesome, I was too pessimistic
_andre has joined #ocaml
maattdd has quit [Ping timeout: 245 seconds]
penglingbo has quit [Quit: Leaving]
hhugo has quit [Quit: Leaving.]
<ygrek_>
we need moar parentheses!
Simn has joined #ocaml
<adrien_oww>
BitPuffin: Lwt_preemptive is indeed for ocaml's stdlib THread
<adrien_oww>
Thread module*
<adrien_oww>
Lwt_mutex has "'a Lwt.t" in its signature iirc, shows it's for lwt
<adrien_oww>
threads
maufred_ has joined #ocaml
maufred has quit [Ping timeout: 255 seconds]
sagotch has joined #ocaml
thomasga has quit [Quit: Leaving.]
<BitPuffin>
adrien_oww: okay well then I seem to understand it right, thanks!
hhugo has joined #ocaml
<dinosaure>
œhi, I try to functorize module option with def` example but, I have syntax error :( : http://paste.isomorphis.me/9nW
<adrien_oww>
BitPuffin: but in your case you could start a thread from your main code and simply don't need any synchronization on the ocaml side
<def`>
dinosaure: ((val param : S))
<dinosaure>
oh, wow
<dinosaure>
thx :D
Snark has joined #ocaml
hexo is now known as shallow
ontologiae has joined #ocaml
maufred_ has quit [Ping timeout: 244 seconds]
maufred has joined #ocaml
ebzzry has joined #ocaml
SethTisue has joined #ocaml
<BitPuffin>
adrien_oww: well what the library will do is that it will start a thread if it doesn't have one, and if it does it will lock the queue and add the operation. When the queue moves on to the next operation it also locks, or waits for the other to release lock. If the operation queue becomes empty the thread will run to its end and terminate, and then it won't be wasting resources having an event loop etc
ollehar has joined #ocaml
lordkryss has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
siddharthv is now known as siddharthv_away
Hannibal_Smith has joined #ocaml
hhugo has quit [Quit: Leaving.]
<BitPuffin>
does opam build docs?
tane has joined #ocaml
thomasga has joined #ocaml
<BitPuffin>
I know batteries included has base64 but does Core?
<ggole>
In 4.02, what's the replacement for module F = Foo for looking at a module signature?
<Drup>
#show
<Drup>
or something like that
<ggole>
Ah, right
<ggole>
...doesn't pretty print it? O_o
<ggole>
Oh never mind, just a short module
<ggole>
Thanks
Eyyub has joined #ocaml
ollehar has quit [Ping timeout: 244 seconds]
<BitPuffin>
I guess I'll use batteries
thomasga has quit [Quit: Leaving.]
ontologiae has quit [Ping timeout: 244 seconds]
thomasga has joined #ocaml
BitPuffin has quit [Ping timeout: 240 seconds]
maattdd has joined #ocaml
Eyyub has quit [Ping timeout: 245 seconds]
darkf has quit [Quit: Leaving]
<whitequark>
sagotch: no, no one will care
<whitequark>
sagotch: send a patch to whitequark@whitequark.org or post an URL here, I'll apply it at once
<whitequark>
jpdeplaix: vectors are for SIMD. the size is constant and part of the type
<whitequark>
arrays are, well, arrays. the size is not in the type system
amirmc has joined #ocaml
<jpdeplaix>
whitequark: so you mean vectors are arrays but potentially parallel ?
<jpdeplaix>
whitequark: what do you mean by « the size is not in the type system » ? If I try to access to a element beyond the size, it fails. I don't see the difference here
ollehar has joined #ocaml
<whitequark>
jpdeplaix: no, they're not potentially paralle
<whitequark>
l
<whitequark>
all operations on vectors are translated to SIMD instructions
<whitequark>
and no, you're incorrect that there is no difference
<whitequark>
accessing an element 5 of a 4-vector is a type error (it will probably assert or something). accessing an element 5 of a 4-array is undefined behavior
<whitequark>
additionally, I believe you cannot index a vector using a variable (but I may be wrong here.)
<ggole>
There's no ISA support for that, but you could always use a table
<whitequark>
then the differences would probably be 1) SIMD lowering 2) variable indexing
<jpdeplaix>
ok thanks
thomasga has joined #ocaml
amirmc has quit [Quit: Leaving.]
bjorkintosh has quit [Ping timeout: 272 seconds]
ygrek_ has joined #ocaml
seanmcl has joined #ocaml
amirmc has joined #ocaml
ontologiae has quit [Ping timeout: 245 seconds]
dsheets has joined #ocaml
divyanshu has joined #ocaml
brendan has quit [Ping timeout: 240 seconds]
araujo has joined #ocaml
tobiasBora has joined #ocaml
amirmc has quit [Quit: Leaving.]
lordkryss_ has joined #ocaml
lordkryss has quit [Ping timeout: 240 seconds]
sagotch has quit [Remote host closed the connection]
acieroid has quit [Read error: Connection reset by peer]
acieroid has joined #ocaml
AltGr has quit [Ping timeout: 264 seconds]
amirmc has joined #ocaml
tnguyen1 has joined #ocaml
amirmc has quit [Client Quit]
thomasga has quit [Quit: Leaving.]
lordkryss_ has quit [Ping timeout: 240 seconds]
olauzon has joined #ocaml
slash^ has joined #ocaml
hhugo has joined #ocaml
rand000 has quit [Quit: leaving]
maattdd has quit [Ping timeout: 255 seconds]
BitPuffin has joined #ocaml
igitoor has quit [Ping timeout: 252 seconds]
igitoor has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
philtor_ has joined #ocaml
SethTisue_ has joined #ocaml
SethTisue has quit [Ping timeout: 240 seconds]
SethTisue_ is now known as SethTisue
divyanshu has quit [Ping timeout: 240 seconds]
divyanshu has joined #ocaml
ollehar has quit [Quit: ollehar]
ollehar has joined #ocaml
philtor_ has quit [Ping timeout: 245 seconds]
ontologiae has joined #ocaml
labichn has joined #ocaml
manizzle has quit [Remote host closed the connection]
manizzle has joined #ocaml
waneck has joined #ocaml
racycle has joined #ocaml
<labichn>
Has anyone had luck playing around with syntax extensions? I can't seem to get Frisch's sedlex building with 4.0{2,3}.0+trunk: "Uninterpreted extension 'expr'."
<jpdeplaix>
Drup and whitequark at least
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<whitequark>
labichn: you need findlib 1.5.1
seanmcl has joined #ocaml
ollehar has quit [Quit: ollehar]
pminten has joined #ocaml
Arsenik has joined #ocaml
<labichn>
whitequark: that did it, thanks
dsheets has quit [Quit: Leaving]
<orbitz>
does opam pass an env variable for how many parallel builds to use?
<whitequark>
export MAKEFLAGS=-j8
<orbitz>
I'm asking if opam passes a value through for you though
<orbitz>
for example, if you aren't using make
<whitequark>
opam doesnt know anything about buildsystem
<orbitz>
I know
<orbitz>
I'm asking if it passes the information along
<Drup>
orbitz: but there is a variable available to know if opam was launch with -jX
<orbitz>
so the build system acn use it
<orbitz>
thank you drup
<Drup>
as jpdeplaix
<Drup>
(or look at the opam for llvm)
<Drup>
ask*
<orbitz>
whitequark: i'm asking how to access the information that a user woudl tell opam about how many concurrent builds they want
<whitequark>
oh, opam tracks that now
<whitequark>
I thought it didn't at all
wwilly has joined #ocaml
jwatzman|work has joined #ocaml
jludlam has quit [Ping timeout: 244 seconds]
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
octachron has quit [Quit: Page closed]
wwilly has quit [Remote host closed the connection]
eikke__ has quit [Ping timeout: 240 seconds]
lordkryss_ has joined #ocaml
hhugo has quit [Quit: Leaving.]
philtor_ has joined #ocaml
ygrek_ has quit [Ping timeout: 255 seconds]
pminten has quit [Remote host closed the connection]
q66 has joined #ocaml
eikke__ has joined #ocaml
philtor_ has quit [Ping timeout: 240 seconds]
troydm has quit [Quit: What is hope? That all of your wishes and all of your dreams come true? (C) Rau Le Creuset]
philtor_ has joined #ocaml
philtor_ has quit [Ping timeout: 240 seconds]
alpounet has quit [Remote host closed the connection]
<philtor_>
Error: This expression has type (([ `Active ], Async_extra.Import.Socket.Address.Inet.t) Socket.t * Reader.t * Writer.t) Deferred.t but an expression was expected of type 'a * 'b * 'c
<rks_>
philtor_: it returns a Deferred.t
<rks_>
I'm guessing that you've already heard about it since you're playing with async
<rks_>
so hm, « Tcp.connect (...) >>= fun (s, r, w) -> ... »
<philtor_>
rks_ ok, so how to I pull apart the reader and the writer?