ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | http://www.ocaml.org | OCaml 4.01.0 announce at http://bit.ly/1851A3R | Logs at http://irclog.whitequark.org/ocaml
eikke__ has quit [Ping timeout: 245 seconds]
artagnon has joined #ocaml
<artagnon> In C, I'm receiving a "value", but I don't know how to operate on it.
avaritia has joined #ocaml
<artagnon> I tried casting it to a (value_t *), but it segfaults.
philtor has joined #ocaml
WraithM has quit [Ping timeout: 245 seconds]
<artagnon> I tried Data_custom_val(), but I still get a segfault.
eikke__ has joined #ocaml
BitPuffin has quit [Ping timeout: 260 seconds]
philtor has quit [Ping timeout: 240 seconds]
<artagnon> Eh, never mind. Figured it out.
thomasga has joined #ocaml
WraithM has joined #ocaml
rand000 has quit [Quit: leaving]
eikke__ has quit [Ping timeout: 240 seconds]
papna has left #ocaml [#ocaml]
msaegess1r has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
philtor has joined #ocaml
ontologiae_ has quit [Ping timeout: 255 seconds]
ygrek has joined #ocaml
philtor has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
samrat has joined #ocaml
johnf has joined #ocaml
shinnya has joined #ocaml
jennmoneydollars has quit [Ping timeout: 260 seconds]
jennmoneydollars has joined #ocaml
philtor has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
q66 has quit [Quit: Leaving]
samrat has quit [Quit: Computer has gone to sleep.]
avaritia has quit [Quit: Why do it today, when you can do it tomorrow?]
bytbox has quit [Remote host closed the connection]
philtor has quit [Ping timeout: 245 seconds]
jao has quit [Ping timeout: 245 seconds]
samrat has joined #ocaml
ontologiae_ has joined #ocaml
ontologiae_ has quit [Ping timeout: 250 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
Denommus` has joined #ocaml
<Denommus`> hi
<Denommus`> when I compile a library with oasis, how can I load it interactively on a OCaml REPL?
WraithM has quit [Ping timeout: 260 seconds]
samrat has joined #ocaml
shinnya has quit [Ping timeout: 255 seconds]
Denommus` has quit [Remote host closed the connection]
rbm`` has joined #ocaml
artagnon has left #ocaml [#ocaml]
Denommus` has joined #ocaml
<Denommus`> uh, is there anything equivalent to batteries in ocaml 4.02?
<Denommus`> ah, after an update it shall appear
Guest3617 has quit [Remote host closed the connection]
fold has quit [Ping timeout: 240 seconds]
kalzz has quit [Ping timeout: 250 seconds]
kalzz has joined #ocaml
<Denommus`> damn
<Denommus`> batteries is really not available
ggole has joined #ocaml
ontologiae_ has joined #ocaml
ontologiae_ has quit [Ping timeout: 250 seconds]
Denommus` has quit [Quit: going to sleep]
<ggole> Hmm, #use doesn't allow short path names?
nojb has joined #ocaml
nojb has quit [Ping timeout: 245 seconds]
<pyon> The latest OCaml version does not come with camlp4, right?
<def`> right
Simn has joined #ocaml
nojb has joined #ocaml
<pyon> In order to install OPAM, do I need to install camlp4 separately? Is there any OPAM release that includes camlp4?
<pyon> I would like to avoid having two copies of camlp4 installed on my system -- one installed from OPAM, another installed from elsewhere.
<def`> opam will install camlp4 as a package
<def`> so no need for camlp4 as far as I know (I used the opam binary from the website)
<pyon> Ah! I was trying to install OPAM from source.
nojb has quit [Ping timeout: 245 seconds]
axiles has joined #ocaml
ygrek has joined #ocaml
eikke__ has joined #ocaml
ontologiae_ has joined #ocaml
ontologiae_ has quit [Ping timeout: 250 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
BitPuffin has joined #ocaml
samrat has joined #ocaml
rbm`` has quit [Ping timeout: 250 seconds]
WraithM has joined #ocaml
mal`` has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
Kakadu has joined #ocaml
maattdd has joined #ocaml
Submarine has joined #ocaml
samrat has joined #ocaml
samrat has quit [Ping timeout: 250 seconds]
eikke__ has quit [Ping timeout: 240 seconds]
samrat has joined #ocaml
ontologiae_ has joined #ocaml
lordkryss has joined #ocaml
eikke__ has joined #ocaml
thomasga has joined #ocaml
<whitequark> Drup: *poke*
WraithM has quit [Ping timeout: 245 seconds]
WraithM has joined #ocaml
<vbmithr> camlp4 broken under 4.02.0 ?
<rwmjones> you have to patch it, see the fedora camlp4 repo
<vbmithr> Is it working in OPAM ?
<vbmithr> Mmh, working now.
<vbmithr> I think I had a repo conflict somewhere
pminten has joined #ocaml
Anarchos has joined #ocaml
pyon has quit [Quit: These skies and seas hold great possibilities for you. Stay alive. Pursue happiness. I expect much from your life.]
pyon has joined #ocaml
Nahra has joined #ocaml
matthieu has joined #ocaml
maattdd has quit [Ping timeout: 260 seconds]
ontologiae_ has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
matthieu has quit [Ping timeout: 245 seconds]
WraithM has quit [Ping timeout: 245 seconds]
matthieu has joined #ocaml
pyon has quit [Quit: These skies and seas hold great possibilities for you. Stay alive. Pursue happiness. I expect much from your life.]
<Drup> whitequark: pong
pyon has joined #ocaml
Kakadu has quit [Read error: Connection reset by peer]
Kakadu has joined #ocaml
q66 has joined #ocaml
yacks has quit [Ping timeout: 245 seconds]
yacks has joined #ocaml
pminten has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/]
nojb has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
samrat has joined #ocaml
<whitequark> Drup: can you take a look at lwt ppx PR?
nojb has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
<Drup> I may have a little bit a of time this week, so maybe. let me look what was needed
<Drup> ah, yes, oasis-ocamlbuild communication magic, yes, I can look at that
<whitequark> great
ontologiae_ has joined #ocaml
tane has joined #ocaml
ontologiae_ has quit [Ping timeout: 245 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
samrat has joined #ocaml
samrat has quit [Client Quit]
slash^ has joined #ocaml
Submarine has quit [Remote host closed the connection]
Nahra` has joined #ocaml
samebchase has joined #ocaml
samrat has joined #ocaml
adrien has joined #ocaml
darkf has quit [Quit: Leaving]
Nahra has quit [*.net *.split]
samebcha1e has quit [*.net *.split]
adrien_ has quit [*.net *.split]
hcarty_ has quit [*.net *.split]
studybot_ has quit [*.net *.split]
thomasga has quit [Quit: Leaving.]
hcarty has joined #ocaml
pgomes has joined #ocaml
<pgomes> Hi
<pgomes> Did anybody has success in compiling camlp4 in 4.02.0 ?
girrig_ has quit [Ping timeout: 240 seconds]
Thooms has joined #ocaml
thomasga has joined #ocaml
n0v has quit [Ping timeout: 474 seconds]
girrig has joined #ocaml
n0v has joined #ocaml
msaegesser has joined #ocaml
nicoo_ has joined #ocaml
matthieu has quit [Ping timeout: 255 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
nicoo has quit [*.net *.split]
thomasga has quit [Quit: Leaving.]
samrat has joined #ocaml
Simn has quit [Ping timeout: 260 seconds]
eikke__ has quit [Ping timeout: 240 seconds]
araujo has quit [Ping timeout: 250 seconds]
ontologiae_ has joined #ocaml
araujo has joined #ocaml
libertas has quit [Quit: Lost terminal]
Simn has joined #ocaml
ontologiae_ has quit [Ping timeout: 260 seconds]
gasche has joined #ocaml
<gasche> def`, I need your informations!
<gasche> (flying to Göteborg in about 40 minutes, I hoped I could get precise commits pinned down to play with in the plane)
samrat has quit [Ping timeout: 260 seconds]
fold has joined #ocaml
samrat has joined #ocaml
nojb has joined #ocaml
nojb has quit [Remote host closed the connection]
eikke__ has joined #ocaml
ontologiae_ has joined #ocaml
thomasga has joined #ocaml
shinnya has joined #ocaml
gasche has quit [Ping timeout: 240 seconds]
pminten has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
ZenosDance has joined #ocaml
<vbmithr> whitequark: is there a ppx_deriving_json existing ?
<vbmithr> pgomes: yes
<vbmithr> pgomes: working fine via OPAM
Hannibal_Smith has joined #ocaml
BitPuffin has quit [Ping timeout: 250 seconds]
Algebr has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
ZenosDance has quit [Ping timeout: 240 seconds]
<pgomes> weird
<pgomes> It gives me this output when I do a opam install camlp4
<pgomes> # ocamlbuild -classic-display -no-ocamlfind `./build/camlp4-byte-only.sh`
<pgomes> # /Users/pgomes/.opam/4.02.0/bin/ocamlopt.opt unix.cmxa -I /Users/pgomes/.opam/4.02.0/lib/ocaml/ocamlbuild /Users/pgomes/.opam/4.02.0/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild_config.ml myocamlbuild.ml /Users/pgomes/.opam/4.02.0/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
<pgomes> # Exception Sys_error("Is a directory").
studybot_ has joined #ocaml
samrat has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
sh1ken has quit [Ping timeout: 245 seconds]
<vbmithr> rm -fr ~/.opam :)
<pgomes> I already did it
<pgomes> and started from scratch
<pgomes> several times
<pgomes> I build ocaml from opam
<pgomes> and then I install my packages
<vbmithr> yes
<vbmithr> that should work
<vbmithr> do you have a repo overlay ?
<vbmithr> that is more prioritary than the default repo ?
<vbmithr> and not up to date
<pgomes> opam init
<pgomes> eval `opam config env`
<pgomes> opam switch 4.02.0
<pgomes> opam update
<pgomes> opam repository add opamocsigen https://github.com/ocsigen/opam-ocsigen.git
<pgomes> opam install camlp4
<pgomes> I don't think so
Algebr has quit [Ping timeout: 245 seconds]
<pgomes> I have more packages but i can just do what i pasted for test
shinnya has quit [Ping timeout: 260 seconds]
<vbmithr> ok
<pgomes> let me check
<pgomes> building ...
<vbmithr> that should work, yes
<vbmithr> worked for me at least
thomasga has quit [Quit: Leaving.]
<pgomes> maybe its macosx
<pgomes> related
<pgomes> don't know
sh1ken has joined #ocaml
<pgomes> almost there ...
<pgomes> compilation finished ... adding packages
<pgomes> installing camlp4
<pgomes> breaks
<pgomes> # ocamlbuild -classic-display -no-ocamlfind `./build/camlp4-byte-only.sh`
<pgomes> # /Users/pgomes/.opam/4.02.0/bin/ocamlopt.opt unix.cmxa -I /Users/pgomes/.opam/4.02.0/lib/ocaml/ocamlbuild /Users/pgomes/.opam/4.02.0/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild_config.ml myocamlbuild.ml /Users/pgomes/.opam/4.02.0/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
<pgomes> # Exception Sys_error("Is a directory").
<pgomes> ### stderr ###
<pgomes> # + echo camlp4/Camlp4.cmo camlp4/Camlp4Top.cmo camlp4/camlp4prof.byte camlp4/mkcamlp4.byte camlp4/camlp4.byte camlp4/camlp4fulllib.cma camlp4/camlp4boot.byte camlp4/camlp4boot.cma camlp4/camlp4r.byte camlp4/camlp4r.cma camlp4/camlp4rf.byte camlp4/camlp4rf.cma camlp4/camlp4o.byte camlp4/camlp4o.cma camlp4/camlp4of.byte camlp4/camlp4of.cma camlp4/camlp4oof.byte camlp4/camlp4oof.cma camlp4/camlp4orf.b...[truncated]
<pgomes> # make: *** [byte] Error 100
<pgomes> could be the ocsigen repo no ?
<pgomes> no
<pgomes> i removed it and it still fails
<pgomes> the same error
<pgomes> let me try on my linux vm
gasche has joined #ocaml
<vbmithr> yeah
<vbmithr> It worked on Archlinux
<vbmithr> for me
<pgomes> on ubuntu
<pgomes> it does not
<pgomes> even install =-=-= Installing ocamlfind.1.5.2 =-=-=
<pgomes> Building ocamlfind.1.5.2:
<pgomes> ./configure -bindir /home/pgomes/.opam/4.02.0/bin -sitelib /home/pgomes/.opam/4.02.0/lib -mandir /home/pgomes/.opam/4.02.0/man -config /home/pgomes/.opam/4.02.0/lib/findlib.conf
<pgomes> make opt
<pgomes> make all
<pgomes> make install
<pgomes> [ERROR] The compilation of ocamlfind.1.5.2 failed.
<pgomes> Removing ocamlfind.1.5.2.
<pgomes> ocamlfind remove bytes
<pgomes> ./configure -bindir /home/pgomes/.opam/4.02.0/bin -sitelib /home/pgomes/.opam/4.02.0/lib -mandir /home/pgomes/.opam/4.02.0/man -config /home/pgomes/.opam/4.02.0/lib/findlib.conf
<pgomes> make uninstall
<pgomes> i have Pepermint 5 Ubuntu alike VM
<vbmithr> ocamlfind does not compile ?
<pgomes> nope
<vbmithr> strange
<pgomes> You tell me
<pgomes> :P
<vbmithr> You have ocaml from opam right ?
<pgomes> yes
<pgomes> I had to install in the begging for opam
<pgomes> initial install but now I have removed it and have the ocaml built for OPAM yes
<pgomes> beggining
thomasga has joined #ocaml
<pgomes> pgomes@pgomes-VirtualBox ~/.opam/4.02.0 $ which ocaml
<pgomes> /home/pgomes/.opam/4.02.0/bin/ocaml
<pgomes> OPAM version is 1.1.1
<pgomes> from ubuntu repos
q66[lap] has joined #ocaml
q66[lap] has quit [Changing host]
q66[lap] has joined #ocaml
<vbmithr> no idea really
<pgomes> me neither
eikke__ has quit [Ping timeout: 255 seconds]
<pgomes> np
Anarchos has joined #ocaml
Hannibal_Smith has joined #ocaml
thomasga has quit [Quit: Leaving.]
pminten has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/]
araujo has quit [Ping timeout: 245 seconds]
gasche has quit [Ping timeout: 245 seconds]
BitPuffin has joined #ocaml
matthieu has joined #ocaml
araujo has joined #ocaml
sheijk has joined #ocaml
_2can has joined #ocaml
Arsenik has joined #ocaml
<sheijk> oh noes, the topic is out of date *flails.arms.running.in.circles*
Kakadu has quit [Quit: Konversation terminated!]
rgrinberg1 has quit [Quit: Leaving.]
<adrien> :)
BitPuffin has quit [Ping timeout: 245 seconds]
_0xAX has joined #ocaml
bytbox has joined #ocaml
jao has quit [Ping timeout: 260 seconds]
eikke__ has joined #ocaml
lgm has joined #ocaml
<lgm> Hello!
<companion_cube> world
<lgm> i have an incredibly simple question.
<lgm> Here's a pastebin of a session with the ocaml toplevel: http://pastebin.com/aGdxvwe9
<lgm> i'm not quite sure how the type checker could conclude the final error.
<companion_cube> looks like VALUES is a functor, whereas you get a module
<companion_cube> you probably don't want VALUES to be a functor, but just a sig...end
<companion_cube> for a simple example look at ocaml's Set module source
<lgm> Especially in the light of the following session: http://pastebin.com/ZWGSsHkm
<lgm> The type the toplevel calculates for VALUE is what i used to make the module type VALUES.
rand000 has joined #ocaml
<companion_cube> ah, I see
<lgm> Yes, i figure i must be doing something rather silly; but, for the life of me, i don't see what it is, yet.
<companion_cube> instead of module VALUE (X : FOO) : VALUES = struct ... end you want module VALUE : VALUES = functor(X:FOO) = functor(X : FOO) -> struct ... end
samrat has quit [Quit: Computer has gone to sleep.]
<companion_cube> (sorry, bad connection)
<lgm> companion_cube: thanks, i'll give that a go.
matthieu has quit [Ping timeout: 240 seconds]
<companion_cube> do you see the problem?
<lgm> Indeed. Aparently, my ocaml is starting to rust. Too long in the scala world.
<companion_cube> it's like writing type foo = int -> float let f (x:int) : foo = float_of_int x
<companion_cube> same issue but on the module level
<lgm> Yep, got it.
<lgm> Many thanks!
matthieu has joined #ocaml
pgomes has quit [Quit: Leaving]
ontologiae_ has quit [Ping timeout: 245 seconds]
Thooms has quit [Quit: WeeChat 0.4.3]
slash^ has left #ocaml [#ocaml]
matthieu has quit [Ping timeout: 245 seconds]
slash^ has joined #ocaml
BitPuffin has joined #ocaml
tani has joined #ocaml
Submarine has quit [Remote host closed the connection]
tane has quit [Ping timeout: 245 seconds]
matthieu has joined #ocaml
_0xAX has quit [Remote host closed the connection]
maattdd has joined #ocaml
matthieu has quit [Ping timeout: 260 seconds]
Muzer has quit [Excess Flood]
Muzer has joined #ocaml
maattdd has quit [Ping timeout: 245 seconds]
maattdd has joined #ocaml
tani is now known as tane
WraithM has joined #ocaml
maattdd has quit [Quit: WeeChat 0.4.3]
MercurialAlchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
TheMadGuy has joined #ocaml
pgomes has joined #ocaml
axiles has quit [Remote host closed the connection]
WraithM has quit [Ping timeout: 255 seconds]
ggole has quit []
<sheijk> is there some documentation on open types in ocaml 4.02? can only find the janestreet blog which just mentions their existence and the online reference is still stuck at 4.01..
q66 has quit [Quit: Leaving]
q66 has joined #ocaml
lgm has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
hellome has joined #ocaml
TheMadGuy has quit [Quit: WeeChat 0.4.3]
tane has quit [Quit: Verlassend]
<MercurialAlchemi> sheijk: haven't seen anything apart from the release notes
<MercurialAlchemi> sheijk: in which they are called "extensible types"
Arsenik has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 255 seconds]
<flux> iirc the bug introducing that feature has some information. maybe.
<flux> meh, not very consistent documentation I suppose: http://caml.inria.fr/mantis/view.php?id=5584
eikke__ has quit [Ping timeout: 240 seconds]
eikke__ has joined #ocaml
pgomes has left #ocaml ["Leaving"]
q66[lap] has quit [Quit: Textual IRC Client: www.textualapp.com]
fold has quit [Ping timeout: 245 seconds]
fold has joined #ocaml
Anarchos has quit [Remote host closed the connection]
rand000 has quit [Quit: leaving]
avsm has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
ousado has quit [Remote host closed the connection]
ousado has joined #ocaml
<sheijk> flux: yep, the bug report had a long discussion about syntax and i think i have an idea how to use it now
<Denommus> hi
q66[lap] has joined #ocaml
q66[lap] has quit [Changing host]
q66[lap] has joined #ocaml
javecantrell has joined #ocaml
Simn has quit [Quit: Leaving]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
sheijk has quit [Quit: n8]
manud has joined #ocaml
eikke__ has quit [Ping timeout: 250 seconds]
ontologiae_ has joined #ocaml
manud has quit [Quit: manud]
eikke__ has joined #ocaml
manud has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
eikke__ has quit [Ping timeout: 240 seconds]
javecantrell has quit [Ping timeout: 240 seconds]
secretivesinger has joined #ocaml
secretivesinger has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 250 seconds]
avsm has quit [Quit: Leaving.]
sanguinefurbelow has joined #ocaml
sanguinefurbelow has quit [Remote host closed the connection]
madroach has joined #ocaml
darkf has joined #ocaml
puzzlingsignpost has joined #ocaml
fold has quit [Ping timeout: 250 seconds]
ontologiae_ has quit [Ping timeout: 245 seconds]
puzzlingsignpost has quit [Remote host closed the connection]
donkeyschampion has joined #ocaml
donkeyschampion has quit [Remote host closed the connection]
q66 has quit [Ping timeout: 260 seconds]
q66 has joined #ocaml
flx has joined #ocaml