gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml Meeting 2011 http://bit.ly/eaZi1C | OCaml 3.12.0 http://bit.ly/aNZBUp
joewilliams is now known as joewilliams_away
ymasory has joined #ocaml
smerz has quit [Quit: Ex-Chat]
noj_ has joined #ocaml
Asmadeus_ has joined #ocaml
dnolen has quit [Ping timeout: 240 seconds]
Obfuscate has quit [Ping timeout: 240 seconds]
noj has quit [Ping timeout: 240 seconds]
Asmadeus has quit [Ping timeout: 240 seconds]
Obfuscate` has joined #ocaml
enthymeme has quit [Ping timeout: 240 seconds]
hto has quit [Ping timeout: 246 seconds]
hto has joined #ocaml
enthymeme has joined #ocaml
Asmadeus_ is now known as Asmadeus
diml has quit [Ping timeout: 250 seconds]
diml has joined #ocaml
gildor has quit [Ping timeout: 250 seconds]
gildor_ has joined #ocaml
haelix has quit [Ping timeout: 252 seconds]
haelix has joined #ocaml
avsm2 has quit [Ping timeout: 252 seconds]
boscop has quit [Ping timeout: 255 seconds]
boscop has joined #ocaml
avsm1 has quit [Quit: Leaving.]
boscop has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
boscop has joined #ocaml
tnguyen has quit [Remote host closed the connection]
boscop has quit [Excess Flood]
boscop has joined #ocaml
boscop has quit [Ping timeout: 246 seconds]
lopex has quit []
philtor has joined #ocaml
ymasory has quit [Remote host closed the connection]
emmanuelux has quit [Ping timeout: 248 seconds]
tnguyen has joined #ocaml
dnolen has joined #ocaml
thoughtfiz has joined #ocaml
bzzbzz has quit [Ping timeout: 240 seconds]
philtor has quit [Ping timeout: 240 seconds]
bzzbzz has joined #ocaml
bitbckt_ is now known as bitbckt
bitbckt has quit [Changing host]
bitbckt has joined #ocaml
thelema_ has joined #ocaml
Julien_Tz has joined #ocaml
patronus_ has joined #ocaml
gildor_ has quit [*.net *.split]
pantsd has quit [*.net *.split]
rwmjones has quit [*.net *.split]
thelema has quit [*.net *.split]
Julien_T has quit [*.net *.split]
Derander has quit [*.net *.split]
rproust has quit [*.net *.split]
patronus has quit [*.net *.split]
kerneis has quit [*.net *.split]
Julien_Tz is now known as Julien_T
kerneis has joined #ocaml
gildor has joined #ocaml
pantsd has joined #ocaml
rwmjones has joined #ocaml
diml has quit [*.net *.split]
npouilla1d has quit [*.net *.split]
ftrvxmtrx has quit [*.net *.split]
f[x] has quit [*.net *.split]
jld has quit [*.net *.split]
rossberg has quit [*.net *.split]
sgnb has quit [*.net *.split]
_2x2l has quit [*.net *.split]
rproust has joined #ocaml
diml has joined #ocaml
npouilla1d has joined #ocaml
ftrvxmtrx has joined #ocaml
f[x] has joined #ocaml
jld has joined #ocaml
rossberg has joined #ocaml
sgnb has joined #ocaml
_2x2l has joined #ocaml
mfp has quit [Ping timeout: 248 seconds]
mfp has joined #ocaml
Amorphous has quit [Ping timeout: 248 seconds]
Amorphous has joined #ocaml
Derander has joined #ocaml
qqmrw has joined #ocaml
boscop has joined #ocaml
Julien_Tz has joined #ocaml
philed` has joined #ocaml
boscop_ has joined #ocaml
mfp_ has joined #ocaml
hto_ has joined #ocaml
boscop__ has joined #ocaml
boscop_ has quit [Ping timeout: 240 seconds]
pheredhel` has joined #ocaml
boscop__ has quit [Read error: Connection reset by peer]
Julien_T has quit [Ping timeout: 246 seconds]
boscop has quit [Ping timeout: 246 seconds]
ski has quit [Ping timeout: 246 seconds]
mfp has quit [Ping timeout: 246 seconds]
tnguyen has quit [Ping timeout: 246 seconds]
pheredhel has quit [Ping timeout: 246 seconds]
mal`` has quit [Ping timeout: 246 seconds]
mcclurmc_home has quit [Ping timeout: 246 seconds]
philed has quit [Ping timeout: 246 seconds]
alpounet has quit [Ping timeout: 246 seconds]
hto has quit [Ping timeout: 246 seconds]
Julien_Tz is now known as Julien_T
alpounet has joined #ocaml
tnguyen has joined #ocaml
mcclurmc_home has joined #ocaml
mal`` has joined #ocaml
ski has joined #ocaml
tnguyen has quit [Remote host closed the connection]
Obfuscate` is now known as Obfuscate
wagle_ is now known as wagle
ymasory has joined #ocaml
ftrvxmtrx_ has joined #ocaml
hto has joined #ocaml
ymasory has quit [Read error: Connection reset by peer]
_2x2l_ has joined #ocaml
ymasory has joined #ocaml
fx_ has joined #ocaml
hto_ has quit [*.net *.split]
rproust has quit [*.net *.split]
diml has quit [*.net *.split]
npouilla1d has quit [*.net *.split]
ftrvxmtrx has quit [*.net *.split]
f[x] has quit [*.net *.split]
jld has quit [*.net *.split]
rossberg has quit [*.net *.split]
sgnb has quit [*.net *.split]
_2x2l has quit [*.net *.split]
enthymeme has quit [Quit: ']
diml has joined #ocaml
rproust has joined #ocaml
npouilla1d has joined #ocaml
jld has joined #ocaml
rossberg has joined #ocaml
sgnb has joined #ocaml
eye-scuzzy has joined #ocaml
dnolen has quit [Quit: dnolen]
mcclurmc_home has quit [Ping timeout: 246 seconds]
arubin has quit [Quit: arubin]
ymasory has quit [Quit: Leaving]
Snark_ has joined #ocaml
Snark_ is now known as Snark
Yoric has joined #ocaml
boscop has joined #ocaml
ymasory has joined #ocaml
boscop has quit [Read error: Connection reset by peer]
boscop_ has joined #ocaml
yezariaely has joined #ocaml
yezariaely has left #ocaml []
boscop_ has quit [Read error: Connection reset by peer]
thoughtfiz has quit [Ping timeout: 258 seconds]
boscop has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
thomasga has joined #ocaml
ttamttam has joined #ocaml
Cyanure has joined #ocaml
ymasory has quit [Quit: Leaving]
ikaros has joined #ocaml
Cyanure has quit [Remote host closed the connection]
larhat has joined #ocaml
wtetzner has quit [Ping timeout: 255 seconds]
clog has joined #ocaml
rwmjones has quit [Ping timeout: 240 seconds]
rwmjones has joined #ocaml
qqmrw has quit [Ping timeout: 252 seconds]
ttamttam has joined #ocaml
pdhborges has joined #ocaml
<pdhborges> Hello, I have a question about ocaml's GC
<pdhborges> for example
<pdhborges> if I alloc'ed a string
<pdhborges> does the GC move the whole string?
<pdhborges> or just the reverence
<pdhborges> s/reverence/reference
lopex has joined #ocaml
Yoric has joined #ocaml
boscop has joined #ocaml
_andre has joined #ocaml
josedo has joined #ocaml
<flux> the whole string can be moved
fx_ has quit [Ping timeout: 258 seconds]
_2x2l_ has quit [Ping timeout: 258 seconds]
shachaf has quit [Ping timeout: 258 seconds]
ccasin has quit [Ping timeout: 258 seconds]
ccasin has joined #ocaml
fx_ has joined #ocaml
_2x2l has joined #ocaml
shachaf has joined #ocaml
<rwmjones> pdhborges: whole string
<rwmjones> pdhborges: https://rwmj.wordpress.com/2009/08/04/ocaml-internals/ may be helpful
<rwmjones> some strings are allocated statically I think
ccasin has quit [Ping timeout: 258 seconds]
ccasin has joined #ocaml
<pdhborges> thanks rwmjones and flux
larhat1 has joined #ocaml
larhat has quit [Ping timeout: 246 seconds]
ski has quit [Ping timeout: 246 seconds]
wtetzner_ has quit [Ping timeout: 246 seconds]
mfp__ has quit [Ping timeout: 246 seconds]
ygrek has quit [Ping timeout: 246 seconds]
mfp__ has joined #ocaml
ski has joined #ocaml
boscop has quit [Ping timeout: 246 seconds]
josedo has quit [Ping timeout: 246 seconds]
wtetzner_ has joined #ocaml
boscop has joined #ocaml
josedo has joined #ocaml
ygrek has joined #ocaml
emmanuelux has joined #ocaml
mal`` has quit [Ping timeout: 246 seconds]
ygrek has quit [Ping timeout: 246 seconds]
wtetzner_ has quit [Ping timeout: 246 seconds]
ski has quit [Ping timeout: 246 seconds]
ftrvxmtrx has quit [Ping timeout: 246 seconds]
Fullma has quit [Ping timeout: 246 seconds]
mfp__ has quit [Ping timeout: 246 seconds]
mfp__ has joined #ocaml
wtetzner__ has joined #ocaml
Fullma has joined #ocaml
ski has joined #ocaml
ygrek has joined #ocaml
ftrvxmtrx has joined #ocaml
mal`` has joined #ocaml
adlsaks has quit [Ping timeout: 250 seconds]
edwin has joined #ocaml
josedo has left #ocaml []
ygrek has quit [Ping timeout: 246 seconds]
dnolen has joined #ocaml
myu2 has quit [Remote host closed the connection]
emmanuelux has quit [Ping timeout: 248 seconds]
Snark_ has quit [Ping timeout: 248 seconds]
Snark_ has joined #ocaml
kaustuv_ has joined #ocaml
kaustuv has quit [Disconnected by services]
kaustuv_ is now known as kaustuv
rwmjones has quit [*.net *.split]
pdhborges has left #ocaml []
ikaros has joined #ocaml
rwmjones has joined #ocaml
lamawithonel has joined #ocaml
avsm has joined #ocaml
SEcki has joined #ocaml
rossberg has quit [Quit: Leaving]
insane0 has joined #ocaml
insane0 has left #ocaml []
dnolen has quit [Quit: dnolen]
avsm has quit [*.net *.split]
Fullma has quit [*.net *.split]
larhat1 has quit [*.net *.split]
ttamttam has quit [*.net *.split]
Cyanure has quit [*.net *.split]
eye-scuzzy has quit [*.net *.split]
npouilla1d has quit [*.net *.split]
jld has quit [*.net *.split]
sgnb has quit [*.net *.split]
avsm has joined #ocaml
Fullma has joined #ocaml
larhat1 has joined #ocaml
ttamttam has joined #ocaml
Cyanure has joined #ocaml
eye-scuzzy has joined #ocaml
npouilla1d has joined #ocaml
jld has joined #ocaml
sgnb has joined #ocaml
scooty-puff has joined #ocaml
<scooty-puff> i know the ocaml compiler does not inline across functor boundaries (why not?), but is there anyway to simulate it?
ikaros_ has joined #ocaml
<fx_> defunctorisation
ikaros has quit [Ping timeout: 250 seconds]
avsm has quit [*.net *.split]
Fullma has quit [*.net *.split]
larhat1 has quit [*.net *.split]
ttamttam has quit [*.net *.split]
Cyanure has quit [*.net *.split]
eye-scuzzy has quit [*.net *.split]
npouilla1d has quit [*.net *.split]
jld has quit [*.net *.split]
sgnb has quit [*.net *.split]
avsm has joined #ocaml
Fullma has joined #ocaml
larhat1 has joined #ocaml
ttamttam has joined #ocaml
Cyanure has joined #ocaml
eye-scuzzy has joined #ocaml
npouilla1d has joined #ocaml
jld has joined #ocaml
sgnb has joined #ocaml
<thomasga> any idea of what could be the 'res' package which jane street's "core" library is depending on ?
<scooty-puff> fx_, is that still maintained?
<scooty-puff> fx_, (the tool that does this)
Oejet has joined #ocaml
<thomasga> rproust: yea, I've found that doing the same search, but I was wondering if that could mean something else … seems not very portable.
<mfp__> can anybody see "OCaml REPL executed in your browser (not on remote server): Js_of_ocaml compiler + OCaml toplevel" near the top of http://www.reddit.com/r/programming/new/?sort=new ? I suspect some moderator has thrown me into the spam tarpit.
mfp__ is now known as mfp
<rproust> mfp: I can't
Yoric_ has joined #ocaml
<thomasga> ok, so "res" seems to be a markus mottl's project and his home page is dead … right. Will do something else now :-)
Yoric has quit [Read error: Connection reset by peer]
Yoric_ is now known as Yoric
<mfp> rproust: argh, it's been half a year since I submitted the last link, and some bastard has labeled me as a spammer on proggit :-/
<rproust> mfp: what's the link btw?
myu2 has joined #ocaml
adlsaks has joined #ocaml
* rproust encountered "Illegal permutation of structure fields" typing error for the first time…
<fx_> scooty-puff, no
<scooty-puff> fx_, thanks
<fx_> but you can do that manually to some extent.. (or pick up the tool)
larhat1 has quit [Quit: Leaving.]
larhat has joined #ocaml
rossberg has joined #ocaml
<scooty-puff> does anyone know if nacl-ocaml is dead?
<scooty-puff> i'm having trouble getting it to compile
avsm has quit [Quit: Leaving.]
Cyanure has quit [Remote host closed the connection]
adlsaks has quit [Ping timeout: 240 seconds]
<adrien> I don't know if I'll be of any help but you should start by showing us the error(s)
lopex has quit []
joewilliams_away is now known as joewilliams
thoughtfiz has joined #ocaml
ymasory has joined #ocaml
<scooty-puff> its on configuring ocamlx
<scooty-puff> Make sure the C compiler nacl-gcc -O is properly installed.
<scooty-puff> (i believe it is - i can execute in that shell, etc.)
Cyanure has joined #ocaml
<adrien> it definitely looks like you're missing a dependency: have you installed anything for deps?
<scooty-puff> think i found it -
<scooty-puff> in:
<scooty-puff> config/auto-aux of the ocamlx dir, change sel_ldr to nacl-sel_ldr
lopex has joined #ocaml
<scooty-puff> adrien, you may be right - complains about an unfound "unimpl":
bitbckt_ is now known as bitbckt
bitbckt has quit [Changing host]
bitbckt has joined #ocaml
<scooty-puff> native_client_sdk_0_1_721_0/toolchain/linux_x86/bin/../lib/gcc/nacl64/4.4.3/../../../../nacl64/bin/ld: cannot find -lunimpl
<adrien> it _sounds_ like these are the functions that are "forbidden" from NaCl: they provide dummy implementations that do nothing
<adrien> I guess that should be provided with the toolchain, can you run "find native_client_sdk_0_1_721_0/toolchain/linux_x86 -iname '*unimpl*'"?
<scooty-puff> nothing printed
<scooty-puff> i removed that lib requirement, and tried making anyways
<scooty-puff> something else weird, ocaml32 failed, that one i can figure out
<scooty-puff> (failed on make)
<scooty-puff> i get the feeling a lot of this may be due to my install of native client
larhat has quit [Quit: Leaving.]
<adrien> how did you install it?
ftrvxmtrx has quit [Quit: Leaving]
enthymeme has joined #ocaml
fraggle_ has quit [Read error: Connection reset by peer]
fraggle_ has joined #ocaml
thomasga has quit [Quit: Leaving.]
npouilla1d is now known as npouillard
npouillard has quit [Quit: Reconnecting]
npouillard has joined #ocaml
npouillard has quit [Read error: Connection reset by peer]
npouillard has joined #ocaml
myu2 has quit [Ping timeout: 264 seconds]
myu2 has joined #ocaml
ttamttam has quit [Remote host closed the connection]
Snark_ is now known as Snark
alexyk has joined #ocaml
ftrvxmtrx has joined #ocaml
arubin has joined #ocaml
joewilliams is now known as joewilliams_away
alexyk has quit [Quit: alexyk]
Tobu has joined #ocaml
scooty-puff has quit [Quit: Leaving]
fraggle_ has quit [Ping timeout: 264 seconds]
fraggle_ has joined #ocaml
jonafan_ is now known as jonafan
joewilliams_away is now known as joewilliams
ymasory has quit [Quit: Leaving]
alexyk has joined #ocaml
<adrien> any opinions about godiva?
<bitbckt> I prefer Sharffen Berger.
<adrien> it's a tool to (easily) create godi packages but I think I've heard some criticisms about it
rwmjones has quit [Ping timeout: 246 seconds]
<bitbckt> heh, yeah I know.
<bitbckt> </joke>
Snark has quit [Ping timeout: 248 seconds]
astory has joined #ocaml
<astory> getting a syntax error in a .mli file when I try to define a module from a functor. Do I need to do anything special to do that?
<hcarty> adrien: It's a good start, even if it ends up not being enough for the final package
<thelema_> a module from a functor? There's no place for functor application in a .mli file
<astory> ok, so that's why I'm confused. How do I, then, specify that a function returns a set of strings?
<hcarty> adrien: Starting with godiva is nice because it gives you a template to work from
<adrien> hcarty: thanks, thought as much
<hcarty> gildor: Thank you for the new and updated GODI packages :-)
<adrien> btw, do you know what is the "godi localbase" thing?
<hcarty> gildor: I haven't had a chance to test yet, but I plan to soon
<hcarty> adrien: Your godi install prefix
<hcarty> $HOME/godi or similar
thelema has joined #ocaml
<thelema> a module from a functor? There's no place for functor application in a .mli file
<thelema> astory: just give the final module type in the .mli
<adrien> ok, thanks, sounds a bit weird to tell godiva about it if you want something portable
<astory> thelema: I'm not sure how to do that. What I want to do is define a function that returns (Set.Make (String)).t . Do I put that directly in the function specification?
<hcarty> adrien: It puts files in your GODI install dir
<hcarty> Which you can then pull from there and maintain directly if you like
<adrien> yeah... Fatal error: exception Unix.Unix_error(1, "mkdir", "/opt/ocaml/build/godi/godi-yacfe-light")
<thelema> no
thelema_ has quit [Ping timeout: 248 seconds]
<thelema> the type is (Set.S with type elt = string)
<astory> "type stringset = (Set.S with type elt = string)" gives me a syntax error at "with"
<adrien> updated godi-ocaml-fileutils \o/
thelema_ has joined #ocaml
<thelema_> adrien: the type is (Set.S with type elt = string).t
<astory> same syntax error :/
<thelema_> probably good to do module type StrSet = Set.S with type elt = string
<thelema_> and then StrSet.t
<astory> that does it, thanks
<thelema_> you might still need to do [module StrSet : Set.S with type elt = string]
<thelema_> and then actually define such a module in your .ml
thelema has quit [Ping timeout: 260 seconds]
rwmjones has joined #ocaml
boscop_ has joined #ocaml
boscop_ has quit [Read error: Connection reset by peer]
boscop has quit [Ping timeout: 258 seconds]
alexyk has quit [Read error: Connection reset by peer]
smerz has joined #ocaml
mfp has quit [Ping timeout: 246 seconds]
Cyanure has quit [Ping timeout: 246 seconds]
ulfdoz has joined #ocaml
mjambon has joined #ocaml
agarwal1975 has joined #ocaml
mfp has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
explodus has quit [Ping timeout: 276 seconds]
explodus has joined #ocaml
thoughtfiz has quit [Ping timeout: 246 seconds]
_andre has quit [Quit: leaving]
samoht1 has joined #ocaml
samoht1 has quit [Client Quit]
agarwal1975 has quit [*.net *.split]
smerz has quit [*.net *.split]
arubin has quit [*.net *.split]
npouillard has quit [*.net *.split]
rossberg has quit [*.net *.split]
Fullma has quit [*.net *.split]
eye-scuzzy has quit [*.net *.split]
jld has quit [*.net *.split]
sgnb has quit [*.net *.split]
thelema_ has quit [*.net *.split]
deavid has quit [*.net *.split]
mattam has quit [*.net *.split]
svenl has quit [*.net *.split]
mrvn has quit [*.net *.split]
explodus has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
wagle has quit [*.net *.split]
pantsd has quit [*.net *.split]
zzz_ has quit [*.net *.split]
Julien_T has quit [*.net *.split]
Obfuscate has quit [*.net *.split]
schmx has quit [*.net *.split]
ecooper has quit [*.net *.split]
emias has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
explodus has joined #ocaml
agarwal1975 has joined #ocaml
smerz has joined #ocaml
thelema_ has joined #ocaml
fraggle_ has joined #ocaml
arubin has joined #ocaml
npouillard has joined #ocaml
rossberg has joined #ocaml
sgnb has joined #ocaml
jld has joined #ocaml
eye-scuzzy has joined #ocaml
Fullma has joined #ocaml
mrvn has joined #ocaml
svenl has joined #ocaml
mattam has joined #ocaml
deavid has joined #ocaml
wagle has joined #ocaml
pantsd has joined #ocaml
zzz_ has joined #ocaml
Julien_T has joined #ocaml
Obfuscate has joined #ocaml
schmx has joined #ocaml
ecooper has joined #ocaml
emias has joined #ocaml
hyperboreean has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
agarwal1975 has joined #ocaml
Yoric has quit [Quit: Yoric]
edwin has quit [Remote host closed the connection]
ymasory has joined #ocaml
ymasory has quit [Read error: Connection reset by peer]
ymasory has joined #ocaml
lamawithonel has quit [Ping timeout: 246 seconds]
lamawithonel has joined #ocaml
thoughtfiz has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
ymasory has quit [Quit: Leaving]
adlsaks has joined #ocaml
emmanuelux has joined #ocaml
mehdid has quit [Ping timeout: 250 seconds]
mehdid has joined #ocaml
adlsaks has quit [Ping timeout: 250 seconds]
Amorphous has quit [Ping timeout: 246 seconds]
Amorphous has joined #ocaml
mehdid has quit [Ping timeout: 240 seconds]
mehdid has joined #ocaml
ikaros_ has quit [Quit: Leave the magic to Houdini]
ymasory has joined #ocaml
<astory> I can find the Option module in the docs, but I can't use any of its methods and I can't seem to import it. What can I do to debug?
SEcki has quit [Remote host closed the connection]
<orbitz> astory: stdlib?
<orbitz> astory: there is no Option in stdlib
<astory> I'm probably misunderstanding what it is
<orbitz> This is not the stdlib