adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
lolisa has quit [Quit: KVIrc 4.9.1 Aria http://www.kvirc.net/]
al-damiri has quit [Quit: Connection closed for inactivity]
spew has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
dmbaturin has quit [Ping timeout: 240 seconds]
dmbaturin has joined #ocaml
strykerkkd has joined #ocaml
octachron has quit [Quit: Leaving]
spew has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
silver has quit [Quit: rakede]
agarwal1975 has joined #ocaml
zv has quit [Ping timeout: 240 seconds]
mfp_ has quit [Ping timeout: 258 seconds]
strykerkkd has quit [Quit: Leaving]
shinnya has joined #ocaml
wtetzner has joined #ocaml
whisperedcigar has joined #ocaml
tvynr has quit [Ping timeout: 246 seconds]
zv has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
min_ has joined #ocaml
FreeBirdLjj has joined #ocaml
<min_> I have a module parameterized on an OrderedType. How do I specify that a function returns (or accepts) a Set over that type?
<min_> ah, nevermind. i figured it out
larhat has quit [Quit: Leaving.]
jimt is now known as Jim7J1AJH
infinity0 has quit [Ping timeout: 240 seconds]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
nomicflux has quit [Quit: nomicflux]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
whisperedcigar has joined #ocaml
trapz has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
trapz has quit [Quit: trapz]
tvynr has joined #ocaml
BitPuffin|osx has quit [Remote host closed the connection]
blakeembrey has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
snhmib has quit [Ping timeout: 268 seconds]
tvynr has quit [Ping timeout: 256 seconds]
copy` has quit [Quit: Connection closed for inactivity]
whisperedcigar has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
FreeBird_ has joined #ocaml
wtetzner has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
FreeBird_ has quit [Remote host closed the connection]
Jim7J1AJH is now known as jimt
FreeBirdLjj has joined #ocaml
blakeembrey has joined #ocaml
blakeembrey has quit [Client Quit]
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
FreeBird_ has quit [Remote host closed the connection]
whisperedcigar has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
spew has quit [Ping timeout: 240 seconds]
bungoman_ has joined #ocaml
FreeBirdLjj has joined #ocaml
spew has joined #ocaml
bungoman has quit [Ping timeout: 246 seconds]
mengu has quit [Remote host closed the connection]
gallais has quit [Ping timeout: 240 seconds]
gallais has joined #ocaml
MercurialAlchemi has joined #ocaml
rpg_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
shinnya has quit [Ping timeout: 246 seconds]
tmtwd has quit [Ping timeout: 246 seconds]
whisperedcigar has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
argent_smith has joined #ocaml
spew has quit [Quit: foobar]
zaquest has quit [Quit: Leaving]
Mercuria1Alchemi has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
whisperedcigar has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
lucybun has quit [Remote host closed the connection]
lucybun has joined #ocaml
argent_smith has quit [Quit: Leaving.]
whisperedcigar has joined #ocaml
infinity0 has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
whisperedcigar has quit [Ping timeout: 240 seconds]
mrnugget has joined #ocaml
MercurialAlchemi has joined #ocaml
mrnugget has quit [Ping timeout: 260 seconds]
zaquest has joined #ocaml
whisperedcigar has joined #ocaml
FreeBirdLjj has joined #ocaml
freusque has joined #ocaml
mrnugget has joined #ocaml
mrnugget has quit [Remote host closed the connection]
Simn has joined #ocaml
alfredo has joined #ocaml
jnavila has joined #ocaml
frefity has quit [Ping timeout: 260 seconds]
freusque has quit [Ping timeout: 256 seconds]
jnavila has quit [Ping timeout: 240 seconds]
jnavila_ has joined #ocaml
jnavila_ is now known as jnavila
AltGr has joined #ocaml
freusque has joined #ocaml
freusque has quit [Client Quit]
kolko_ has quit [Ping timeout: 240 seconds]
freusque has joined #ocaml
Muzer has quit [Ping timeout: 256 seconds]
larhat has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
mengu has joined #ocaml
FreeBirdLjj has joined #ocaml
Muzer has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
kolko has joined #ocaml
zpe has joined #ocaml
argent_smith has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
kolko_ has joined #ocaml
larhat has quit [Quit: Leaving.]
kolko has quit [Ping timeout: 264 seconds]
nopf has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
snhmib has joined #ocaml
FreeBird_ has joined #ocaml
Geekingfrog_ is now known as Geekingfrog
FreeBirdLjj has quit [Ping timeout: 268 seconds]
octachron has joined #ocaml
Muzer has quit [Ping timeout: 260 seconds]
mfp_ has joined #ocaml
strykerkkd has joined #ocaml
ocalm has joined #ocaml
strykerkkd has quit [Quit: Konversation terminated!]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Muzer has joined #ocaml
notdan has joined #ocaml
<notdan> Hi
FreeBirdLjj has quit [Ping timeout: 240 seconds]
minn has joined #ocaml
minn has quit [Ping timeout: 240 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
min_ has quit [Ping timeout: 240 seconds]
<mengu> hi notdan
trapz has joined #ocaml
freehck has joined #ocaml
alfredo has quit [Ping timeout: 246 seconds]
alfredo has joined #ocaml
trapz has quit [Quit: trapz]
tvynr has joined #ocaml
<reynir> apache3_: sorry, I fell asleep :v Did you figure it out?
silver has joined #ocaml
snowcrshd has joined #ocaml
yomimono has joined #ocaml
freechips has quit [Ping timeout: 264 seconds]
freechips has joined #ocaml
rpg has joined #ocaml
nomicflux has joined #ocaml
ziyourenxiang has joined #ocaml
nomicflux has quit [Client Quit]
spion_ is now known as spion
rpg has quit [Ping timeout: 256 seconds]
ryanartecona has joined #ocaml
freechips has quit [Ping timeout: 240 seconds]
whisperedcigar has joined #ocaml
yomimono has quit [Ping timeout: 268 seconds]
whisperedcigar has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
sepp2k has joined #ocaml
freusque has quit [Ping timeout: 246 seconds]
yomimono has joined #ocaml
rpg has joined #ocaml
mengu has quit [Quit: Leaving...]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
mryau has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
<mryau> Hello, I want to compile ocaml to C with bytecode representation on x86 and link and execute it on arm. The first two steps is very straightforward:
<mryau> ocamlbuild -use-ocamlfind client.byte.c
<mryau> and C to write code to use caml_startup()
agarwal1975 has quit [Quit: agarwal1975]
<mryau> but for now I'n in trouble: my program uses lwt and I don't know how to link it to my code, moreover I have many unresolved symbols like int8_add in gcc's error listing. My current attemp looks like:
zpe has joined #ocaml
<mryau> gcc -fPIC -I`ocamlc -where` main.c client.byte.c -L`ocamlc -where` -lunix -lnums -lzmq -lcamlrun -lm -ldl
<mryau> How should I compile such C representation with dependencies from external ocaml modules?
tvynr has quit [Ping timeout: 260 seconds]
whisperedcigar has joined #ocaml
al-damiri has joined #ocaml
whisperedcigar has quit [Ping timeout: 240 seconds]
nopf has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
whisperedcigar has joined #ocaml
sh0t has joined #ocaml
<gasche> mryau: "ocamlc" knows how to compile .c files, but of course it would invoke the host compiler
<gasche> long-term, you should consider using a cross-compilation toolchain (for example, if you are targeting Android, https://github.com/whitequark/opam-cross-android)
<gasche> short-term, I think "ocamlfind" has the information
<gasche> for example -I$(ocamlfind query lwt) -L$(ocamlfind query lwt)
agarwal1975 has joined #ocaml
<companion_cube> o/ gasche
yomimono has quit [Ping timeout: 240 seconds]
tvynr has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
larhat has joined #ocaml
ciniglio has joined #ocaml
Muzer has quit [Ping timeout: 256 seconds]
freusque has joined #ocaml
sh0t has quit [Remote host closed the connection]
yomimono has joined #ocaml
sh0t has joined #ocaml
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
<mryau> gasche: thanks, I can use ocamlc and ocamlfind on my development machine in qemu for armhf. Ironically, I should be able to compile entire program on target hardware and it uses verified yocto linux image with very base ocaml system, so I must find way to transfer my dependencies from ocaml packages to C representation...
<gasche> then I would try something as (ocamlfind ocamlc -package lwt foo.c); but if you're using the OCaml toolchain all the way, it's not clear to me why you go through a .byte.c as an intermediate step
<gasche> (I don't have much experience compiling C code with ocamlc so I'm writing in the dark here)
shinnya has joined #ocaml
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
Muzer has joined #ocaml
sh0t has quit [Client Quit]
sh0t has joined #ocaml
MercurialAlchemi has joined #ocaml
jabroney has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 264 seconds]
th5 has joined #ocaml
tvynr has quit [Ping timeout: 268 seconds]
marsam has joined #ocaml
ryanartecona has joined #ocaml
Guest84955 is now known as micro_
BitPuffin|osx has joined #ocaml
zpe has quit [Remote host closed the connection]
mrgrieves has joined #ocaml
yomimono has quit [Ping timeout: 246 seconds]
yomimono has joined #ocaml
free_beard has quit [Ping timeout: 260 seconds]
achauvin has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]
spew has quit [Ping timeout: 258 seconds]
spew has joined #ocaml
jnavila has quit [Quit: It was time]
ryanartecona has quit [Quit: ryanartecona]
mrgrieves has quit [Quit: Lost terminal]
tobast1 has joined #ocaml
ryanartecona has joined #ocaml
slash^ has joined #ocaml
copy` has joined #ocaml
min_ has joined #ocaml
technomancy has joined #ocaml
<technomancy> http://p.hagelb.org/tuareg-failure.html getting a weird failure installing tuareg; any idea what's up?
<technomancy> "/bin/sh: 1: t: not found" <- that can't be right
AltGr has left #ocaml [#ocaml]
laserpants has joined #ocaml
<laserpants> Is there some syntactic sugar that allows type constructors to be treated as curried functions? Or some common idiom?
<def`> s/type constructors/value constructors/
<octachron> laserpants, do you mean type constructors: "('a,'b) t" → "t 'a 'b" or variant constructors "C(a,b)" → "C a b", in both case the answer is no
<def`> no there is none, janestreet libraries sometime have the convention of defining a function with the same name as the constructor in the module.
<laserpants> value constructors.. sorry, the keyword `type` confused me. hehe
<def`> (you can do List.map Option.some ...)
<laserpants> Ok, but curry is defined in Core, or?
shinnya has quit [Ping timeout: 268 seconds]
<octachron> laserpants, each curried function associated to a value constructor is defined explicitely (or with a ppx preprocessor)
<laserpants> That will work. I was just wondering, because I see `curry` defined in this module: https://github.com/monadbobo/ocaml-core/blob/master/base/core/lib/tuple.mli
<laserpants> But I am not sure how to import that module.
<laserpants> open Tuple.T2
<def`> this is just currying on pairs.
<def`> it is nothing more than (fun f a b -> f (a,b))
<laserpants> ok, that's not going to work. Well, I'll use the solution you suggested...
<laserpants> no need to complicate things
troydm has quit [Ping timeout: 240 seconds]
achauvin has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
silver_ has joined #ocaml
silver has quit [Ping timeout: 240 seconds]
silver_ is now known as silver
Anarchos has joined #ocaml
freusque has quit [Quit: WeeChat 1.7]
marsam has quit [Remote host closed the connection]
TarVanimelde has joined #ocaml
yomimono has quit [Ping timeout: 240 seconds]
TarVanimelde has quit [Quit: TarVanimelde]
agarwal1975 has quit [Quit: agarwal1975]
larhat has quit [Quit: Leaving.]
ryanartecona has quit [Quit: ryanartecona]
KV has joined #ocaml
freechips has joined #ocaml
KV has quit [Client Quit]
KV has joined #ocaml
achauvin has joined #ocaml
marsam has joined #ocaml
troydm has joined #ocaml
achauvin has quit [Quit: Textual IRC Client: www.textualapp.com]
ryanartecona has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
marsam has quit [Remote host closed the connection]
sepp2k has quit [Ping timeout: 264 seconds]
jnavila has joined #ocaml
laserpants has quit [Ping timeout: 260 seconds]
marsam has joined #ocaml
zaquest has quit [Quit: Leaving]
min_ has quit [Ping timeout: 260 seconds]
gnuyoda_ has quit [Remote host closed the connection]
ocaml_fan has joined #ocaml
mengu has joined #ocaml
<ocaml_fan> I am a big fan of what i read and the ideas of ocaml. ive been trying to tinker with it for some months now and having a tough time. I don't mind the learning curve but there doesnt seem to be a complete tutorial somewhere. example would be building a command line tool or a web app and explaining whats happening with the different symbols or the way things are structured. any recommended reading on how to get a good baseline on the l
min_ has joined #ocaml
<KV> ocaml_fan, I learned ocaml not long ago. I went thru the tutorials at ocaml.org, the I built some small projects and read a lot of ocaml code, mostly from the Batteries and Core project to see how I could do stuff better. You have books like Real world ocaml if you are into books though
<KV> And ocaml source ofcourse, all of them are on github
kakadu has joined #ocaml
argent_smith has quit [Quit: Leaving.]
<technomancy> the book was super helpful for me
<ocaml_fan> KV: did you rely on merlin for looking up docs? something like `+>` is difficult to google
<ocaml_fan> technomancy: real world ocaml?
<technomancy> ocaml_fan: yeah
<KV> ocaml_fan, no I used the documentation in the mli-files for the libraries I used
<KV> Googled function names if I didn't get it
<ocaml_fan> thanks for the tips
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
th5 has quit [Remote host closed the connection]
TheLemonMan has joined #ocaml
zaquest has joined #ocaml
Anarchos has joined #ocaml
richi238 has joined #ocaml
haesbaer1 has quit [Quit: leaving]
haesbaert has joined #ocaml
orbifx has joined #ocaml
slash^ has quit [Remote host closed the connection]
whisperedcigar has quit [Ping timeout: 240 seconds]
ocaml_fan has quit [Ping timeout: 260 seconds]
whisperedcigar has joined #ocaml
larhat has joined #ocaml
average has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
kakadu has joined #ocaml
kakadu has quit [Remote host closed the connection]
kakadu has joined #ocaml
sspi has joined #ocaml
snowcrshd has quit [Ping timeout: 260 seconds]
orbifx has quit [Ping timeout: 260 seconds]
_andre has quit [Quit: leaving]
whisperedcigar has quit [Ping timeout: 240 seconds]
KV has quit [Remote host closed the connection]
orbifx has joined #ocaml
min_ has quit [Ping timeout: 260 seconds]
wagle has quit [Remote host closed the connection]
wagle has joined #ocaml
strykerkkd has joined #ocaml
spew has quit [Quit: foobar]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
jnavila has quit [Remote host closed the connection]
ryanartecona has quit [Quit: ryanartecona]
tautologico has quit [Quit: Connection closed for inactivity]
jrslepak_ is now known as jrslepak
agarwal1975 has joined #ocaml
SpiceGuid has joined #ocaml
Simn has quit [Quit: Leaving]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
moei has quit [Quit: Leaving...]
min_ has joined #ocaml
ryanartecona has joined #ocaml
octachron has quit [Quit: Leaving]
sh0t has quit [Remote host closed the connection]
<chindy> Is there a way in Merlin/Tuareg to "add definition to interface file"?
bungoman has joined #ocaml
bungoman_ has quit [Ping timeout: 246 seconds]
<smondet[m]> chindy: not directly that I know of but there is `merlin-insert-type` which inserts what merlin displayed the last time you called `merlin-type-*`
richi238 has quit [Ping timeout: 240 seconds]
marsam has quit [Ping timeout: 260 seconds]
andreas__ has quit [Quit: Connection closed for inactivity]
ryanartecona has quit [Quit: ryanartecona]
ryanartecona has joined #ocaml
tobast1 has quit [Ping timeout: 260 seconds]
kakadu has quit [Remote host closed the connection]
al-damiri has quit [Quit: Connection closed for inactivity]
maattdd has quit [Ping timeout: 268 seconds]