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:
<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]
<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)
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]