lapinou 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 | Public logs at http://tunes.org/~nef/logs/ocaml/
nikki93 has joined #ocaml
maattdd__ has joined #ocaml
maattdd__ has quit [Ping timeout: 264 seconds]
ollehar1 has quit [Ping timeout: 252 seconds]
WraithM has quit [Ping timeout: 265 seconds]
shinnya has joined #ocaml
ontologiae has quit [Ping timeout: 264 seconds]
esden has quit [Ping timeout: 252 seconds]
steshaw has quit [Ping timeout: 252 seconds]
msch has quit [Ping timeout: 252 seconds]
PM has quit [Ping timeout: 252 seconds]
PM has joined #ocaml
teiresias has quit [Ping timeout: 252 seconds]
whitequark has quit [Ping timeout: 252 seconds]
whitequark has joined #ocaml
esden has joined #ocaml
teiresias has joined #ocaml
msch has joined #ocaml
steshaw has joined #ocaml
WraithM has joined #ocaml
Rotacidni has joined #ocaml
pyx has quit [Quit: WeeChat 0.4.3]
divyanshu has joined #ocaml
manizzle has quit [Read error: Operation timed out]
rgrinberg has quit [Quit: Leaving.]
divyanshu has quit [Read error: Connection reset by peer]
ruzu2 has joined #ocaml
ruzu has quit [Ping timeout: 252 seconds]
divyanshu has joined #ocaml
divyanshu has quit [Read error: Connection reset by peer]
xaimus has quit [Quit: leaving]
divyanshu has joined #ocaml
claudiuc has joined #ocaml
divyanshu has quit [Read error: Connection reset by peer]
divyanshu has joined #ocaml
dapz has joined #ocaml
ninegrid has joined #ocaml
divyanshu has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
maattdd__ has joined #ocaml
claudiuc_ has joined #ocaml
tlockney_away is now known as tlockney
divyanshu has joined #ocaml
claudiuc has quit [Ping timeout: 252 seconds]
maattdd__ has quit [Ping timeout: 265 seconds]
arboris has joined #ocaml
malo has quit [Quit: Leaving]
claudiuc has joined #ocaml
claudiuc_ has quit [Ping timeout: 252 seconds]
<whitequark> type t = A of string * string;;
<whitequark> A ("bar", "bar");; works
<whitequark> let x = "bar", "bar" in A x;; fails ಠ_ಠ
<whitequark> this is really annoying
divyanshu has quit [Ping timeout: 240 seconds]
<tautologico> type t2 = B of (int * int)
<tautologico> utop # let x = (3, 4) in B x;;
<tautologico> - : t2 = B (3, 4)
<tautologico> A is a constructor with 2 arguments
<tautologico> B is a constructor with 1 argument (that is a tuple)
<tautologico> :)
divyanshu has joined #ocaml
<whitequark> tautologico: I know.
<whitequark> it still *is* really annoying
<tautologico> yeah
<tautologico> corner cases
<tautologico> I don't know why constructors in OCaml aren't functions either
<whitequark> well, because you can't pattern-match over functions in general
<tautologico> that doesn't mean they can't be a pattern and an expression
<tautologico> as in SML, Haskell, etc
<tautologico> actually they already are, but they're treated especially as expressions, and not as functions
<whitequark> I heard it has to do something with constructors embedding the arguments in the memory block allocated for the constructor
<whitequark> frankly that sounds like a bad excuse
divyanshu has quit [Read error: Connection reset by peer]
araujo has quit [Quit: Leaving]
clan has quit [Quit: clan]
divyanshu has joined #ocaml
steshaw has quit [Ping timeout: 252 seconds]
maattdd__ has joined #ocaml
steshaw has joined #ocaml
racycle__ has joined #ocaml
maattdd__ has quit [Ping timeout: 276 seconds]
divyanshu has quit [Ping timeout: 240 seconds]
clan has joined #ocaml
divyanshu has joined #ocaml
nikki93 has quit [Remote host closed the connection]
cdidd has joined #ocaml
manizzle has joined #ocaml
divyanshu has quit [Ping timeout: 240 seconds]
studybot_ has joined #ocaml
studybot_ has quit [Remote host closed the connection]
studybot_ has joined #ocaml
ygrek has joined #ocaml
divyanshu has joined #ocaml
cdidd has quit [Quit: cdidd]
cdidd has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
nikki93 has joined #ocaml
cdidd has quit [Client Quit]
racycle__ has quit [Ping timeout: 276 seconds]
nikki93 has quit [Remote host closed the connection]
cdidd has joined #ocaml
racycle__ has joined #ocaml
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
manizzle has quit [Read error: Operation timed out]
divyanshu has quit [Ping timeout: 240 seconds]
studybot_ has quit [Read error: Connection reset by peer]
divyanshu has joined #ocaml
divyanshu has quit [Client Quit]
cdidd has quit [Quit: cdidd]
cdidd has joined #ocaml
michael_lee has joined #ocaml
divyanshu has joined #ocaml
siddharthv_away is now known as siddharthv
Mandus_ has joined #ocaml
Mandus has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
nikki93 has joined #ocaml
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
tlockney is now known as tlockney_away
cdidd_ has joined #ocaml
cdidd_ has quit [Remote host closed the connection]
angerman has joined #ocaml
maattdd__ has joined #ocaml
angerman has quit [Remote host closed the connection]
angerman has joined #ocaml
mdenes has quit [Quit: WeeChat 0.4.2]
mdenes has joined #ocaml
maattdd__ has quit [Ping timeout: 240 seconds]
cdidd has quit [Remote host closed the connection]
axiles has joined #ocaml
WraithM has quit [Ping timeout: 276 seconds]
claudiuc has quit [Remote host closed the connection]
mister_m has quit [Ping timeout: 255 seconds]
mister_m has joined #ocaml
cdidd has joined #ocaml
j0sh has quit [Ping timeout: 255 seconds]
angerman has quit [Ping timeout: 255 seconds]
j0sh has joined #ocaml
racycle__ has quit [Quit: ZZZzzz…]
cdidd has quit [Quit: cdidd]
angerman has joined #ocaml
struktured has quit [Ping timeout: 265 seconds]
WraithM has joined #ocaml
cdidd has joined #ocaml
divyanshu has quit [Ping timeout: 240 seconds]
clan has quit [Quit: clan]
clan has joined #ocaml
dapz has joined #ocaml
divyanshu has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Quit: Leaving.]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
<adrien> _obad_: patch seems sound; can't tell about the specifics though since it's a bit early (and the github UI doesn't help)
Mandus_ is now known as Mandus
clan has quit [Quit: clan]
jao has quit [Remote host closed the connection]
zpe has joined #ocaml
jao` has quit [Remote host closed the connection]
adrien_o1w has joined #ocaml
adrien_oww has quit [Ping timeout: 252 seconds]
maattdd__ has joined #ocaml
maattdd__ has quit [Ping timeout: 240 seconds]
ikaros has joined #ocaml
Simn has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
squiggnet has quit [Ping timeout: 252 seconds]
zpe has quit [Remote host closed the connection]
squiggnet has joined #ocaml
jao has quit [Ping timeout: 255 seconds]
AltGr has joined #ocaml
yacks has joined #ocaml
maattdd__ has joined #ocaml
Kakadu has joined #ocaml
maattdd__ has quit [Ping timeout: 252 seconds]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
nikki93 has quit [Remote host closed the connection]
ollehar has joined #ocaml
nikki93 has joined #ocaml
ygrek has joined #ocaml
avsm has joined #ocaml
zpe has joined #ocaml
nikki93 has quit [Remote host closed the connection]
maattdd__ has joined #ocaml
cantstanya has quit [Ping timeout: 240 seconds]
cantstanya has joined #ocaml
maattdd__ has quit [Ping timeout: 240 seconds]
eizo has joined #ocaml
tautologico has quit [Quit: Connection closed for inactivity]
adrien_o1w is now known as adrien_oww
ggole has joined #ocaml
Nuki has joined #ocaml
eizo has quit [Ping timeout: 240 seconds]
rand000 has joined #ocaml
dsheets has joined #ocaml
ontologiae has joined #ocaml
eizo has joined #ocaml
rand000 has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
ontologiae has quit [Quit: WeeChat 0.4.0]
andreypopp_ is now known as andreypopp
xaimus has joined #ocaml
avsm has joined #ocaml
xaimus has quit [Client Quit]
Don_Pellegrino|l has quit [Quit: Konversation terminated!]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
lpw25 has joined #ocaml
dapz has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
jzelinskie has quit [Quit: Connection closed for inactivity]
Thooms has joined #ocaml
_andre has joined #ocaml
avsm has quit [Quit: Leaving.]
Arsenik has joined #ocaml
lostcuaz has joined #ocaml
Thooms has quit [Quit: WeeChat 0.3.8]
xaimus has joined #ocaml
pminten has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 252 seconds]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<whitequark> I made ppx_protobuf sophisticated enough to support parametric polymorphism!
<whitequark> the encoding is somewhat verbose, though, due to all the additional framing
Nuki has quit [Ping timeout: 250 seconds]
amirmc has joined #ocaml
siddharthv is now known as siddharthv_away
pminten has quit [Quit: Leaving]
thomasga has joined #ocaml
Guest12333 has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Thooms has joined #ocaml
Snark has joined #ocaml
studybot_ has joined #ocaml
avsm has joined #ocaml
acrob has joined #ocaml
<acrob> Hello !
<acrob> I am doing documentation with ocamlbuild but I don't see any effect from my comment on ml files (mli works)
<acrob> I wrote module name on a .odocl file
<adrien_oww> documentation goes into .mli files
Rotacidni has quit [Ping timeout: 276 seconds]
<acrob> ok
<acrob> I only write classic comment on ml files not for documentation
amirmc has quit [Quit: Leaving.]
acrob has quit [Quit: Page closed]
angerman has quit [Quit: Gone]
michael_lee has quit [Ping timeout: 264 seconds]
michael_lee has joined #ocaml
struktured has joined #ocaml
darkf has quit [Quit: adjacent]
avsm has quit [Quit: Leaving.]
pminten has joined #ocaml
struktured has quit [Ping timeout: 252 seconds]
studybot_ has quit [Remote host closed the connection]
studybo__ has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
jonludlam has joined #ocaml
axiles has quit [Read error: Operation timed out]
avsm has joined #ocaml
axiles has joined #ocaml
pminten has quit [Ping timeout: 245 seconds]
axiles has quit [Ping timeout: 265 seconds]
axiles has joined #ocaml
avsm has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
ygrek has joined #ocaml
avsm has joined #ocaml
divyanshu has joined #ocaml
tane has joined #ocaml
shinnya has quit [Ping timeout: 252 seconds]
tlockney_away is now known as tlockney
rgrinberg has joined #ocaml
thomasga has joined #ocaml
tani has joined #ocaml
rgrinberg has quit [Client Quit]
ninegrid has quit [Ping timeout: 240 seconds]
tane has quit [Ping timeout: 255 seconds]
ninegrid has joined #ocaml
jonludlam is now known as jonludlam_afk
olauzon has joined #ocaml
zpe has quit [Remote host closed the connection]
angerman has joined #ocaml
Rotacidni has joined #ocaml
rgrinberg has joined #ocaml
tianon has quit [Ping timeout: 246 seconds]
Thooms has quit [Quit: WeeChat 0.3.8]
avsm has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
avsm has joined #ocaml
rgrinberg has joined #ocaml
studybo__ has quit [Read error: Connection reset by peer]
tautologico has joined #ocaml
tianon has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
rz has quit [Quit: Ex-Chat]
<_obad_> how do I activate lwt syntax in ocp-indent?
<_obad_> ocp-indent --syntax lwt
<_obad_> but there is no way to put that in the config file apparently...
thomasga has quit [Quit: Leaving.]
racycle has joined #ocaml
maattdd__ has joined #ocaml
thomasga has joined #ocaml
<_obad_> let g:ocp_indent_binary = "ocp-indent --syntax lwt" did it for me
rgrinberg has quit [Quit: Leaving.]
eizo has quit [Ping timeout: 240 seconds]
arj has quit [Quit: Leaving.]
johnf has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
ninegrid has quit [Ping timeout: 265 seconds]
ikaros has quit [Quit: Ex-Chat]
ninegrid has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
jwatzman|work has joined #ocaml
ninegrid has quit [Ping timeout: 252 seconds]
ninegrid has joined #ocaml
Rotacidni has quit [Ping timeout: 252 seconds]
<rgrinberg> _obad_: try syntax=lwt in your .ocp-indent
<_obad_> I tried that in ~/.ocp/ocp-indent.config and it didn't work
Thooms has joined #ocaml
ninegrid has quit [Ping timeout: 255 seconds]
ninegrid has joined #ocaml
avsm has joined #ocaml
nikki93 has joined #ocaml
avsm has quit [Ping timeout: 252 seconds]
<Drup> it should, it works for me
<arboris> is there a cyclic dependency between ocp-build and typerex?
<_obad_> drup: in ~/.ocp/ocp-indent.config?
<Drup> .conf
thomasga has quit [Ping timeout: 240 seconds]
<arboris> opam install typerex fails with a requirement of ocp-build and opam install ocp-build wants to install typerex
<Drup> :D
<_obad_> drup: ah! conf not config
<arboris> i've done a hard reset by removing .opam
<Drup> arboris: typerex shouldn't depend on ocamlfind
<arboris> but that does not not work
<arboris> either
<Drup> should only depend on*
<arboris> [ERROR] The compilation of typerex.1.99.6-beta failed.
<arboris> Removing typerex.1.99.6-beta. ocp-build -uninstall typerex
<arboris> ===== ERROR while installing typerex.1.99.6-beta =====
<arboris> Internal error: "ocp-build": command not found.
<arboris> 'opam install typerex' failed.
<Drup> I see
<Drup> you're good for a bug report, I think
<Drup> either on typerex or opam-repository
maattdd__ has quit [Ping timeout: 265 seconds]
angerman has quit [Quit: Gone]
<arboris> the last commit in the typerex repo is 8 months old, that looks as if the project is no longer active
Hannibal_Smith has joined #ocaml
tlockney is now known as tlockney_away
<arboris> i've worked around the problem by installing ocp-build manually, I believe the problem was that in fedora camlp4 is not installed by default
<Drup> let's say it's sleeping
<_obad_> it will have to be updated for the ppx stuff
tlockney_away is now known as tlockney
<arboris> anyways, after a manual install typerex installs flawlessly
<Drup> arboris: why would it be related to camlp4 ?
<rgrinberg> _obad_: i do it on a per project basis
<rgrinberg> whenever i have a project that uses lwt i add that in the project-root/.ocp-indent
<arboris> Drup: well the ocp-build failed because that was not installed
<_obad_> rgrindberg: I think syntax=lwt doesn't hurt non-lwt projects so I'll keep it global
<arboris> the cyclic dependency is probably a bug, but I don't see a point in reporting to a project that has not been worked on in 8 months for something that can be fixed in 10 min by a workaround
<Drup> arboris: avoiding other user to have to figure out the work around ?
<Drup> as I said, typerex is not dead, the maintaner is still active, it's just not actively developed
<arboris> Drup: I'm always paranoid that the bug is my fault, because of some configuration or particular feature of my environment
<Drup> then the maintaner will tell you it's your fault, no problem
<_obad_> what's the preferred regexp library these days? context: lwt
xaimus has quit [Quit: leaving]
xaimus has joined #ocaml
dapz has joined #ocaml
AltGr has left #ocaml []
<whitequark> ocaml-re
<whitequark> lwt has no relation to regexp libraries
<_obad_> whitequark: that's re in opam, I suppose. yup looks like it.
<whitequark> yes
<_obad_> yes but some regexp libraries are stateful *cough*str*cough*
thomasga has joined #ocaml
tlockney is now known as tlockney_away
nikki93 has quit [Remote host closed the connection]
<arboris> argh why does opam not know about iocaml-kernel
<Drup> it's in my opam
Kakadu has quit [Quit: Page closed]
lpw25 has quit [Remote host closed the connection]
tnguyen has joined #ocaml
Thooms has quit [Quit: WeeChat 0.3.8]
<Drup> no :D
ninegrid has quit [Ping timeout: 252 seconds]
<arboris> "iocaml-kernel" is not available for your compiler or your OS.
<arboris> but?
<Drup> huum
<Drup> which compiler, which OS ?
inr_ has joined #ocaml
tlockney_away is now known as tlockney
ninegrid has joined #ocaml
inr has quit [Ping timeout: 245 seconds]
angerman has joined #ocaml
<arboris> hm apparently opam has overwritten my path, so that ocaml can't be found anymore
<Drup> which is probably normal
<arboris> it now points to .opam/4.01.0/bin/ocaml which does not exist
maattdd__ has joined #ocaml
thomasga has quit [Quit: Leaving.]
wwilly has joined #ocaml
<wwilly> hi
thomasga has joined #ocaml
<arboris> ok, I guess I should use opam switch 4.01
Rc43 has joined #ocaml
<Rc43> Hello.
ninegrid has quit [Remote host closed the connection]
ninegrid has joined #ocaml
<Rc43> Is @@ standard function?
<Rc43> And where can I look on it in web?
<flux> hmm, I think it nowadays is
thomasga has quit [Client Quit]
<flux> its definition is let (@@) a b = a b (isn't it?)
<mrvn> # (@@);;
<mrvn> - : ('a -> 'b) -> 'a -> 'b = <fun>
<Drup> Rc43: it's in the standard library
<mrvn> OCaml version 4.01.0
<Drup> and yes, f @@ g = f g
<Drup> "f @@ x = f x" is better
<mrvn> # (fun x -> x + 1) @@ 1;;
<mrvn> - : int = 2
<mrvn> What's the point of @@?
<Drup> mrvn: "f @@ g x" instead of "f (g x)"
<flux> some_function_that_takes_function_as_say_cps_argument 42 (44 + b) @@ fun result -> code here
<flux> so with cps functions your last line of the function isn't )))))) :)
rgrinberg has quit [Quit: Leaving.]
thomasga has joined #ocaml
q66 has joined #ocaml
q66 has quit [Changing host]
q66 has joined #ocaml
ninegrid has quit [Remote host closed the connection]
ninegrid has joined #ocaml
rgrinberg has joined #ocaml
<Rc43> And in 3.12 I guess there is no such function, right?
<Rc43> Just my collegue tried to build some of my code and failed.
<arboris> zmq, fails to install with an obscure error...
<arboris> argh
<whitequark> Drup: arboris which one?
<whitequark> errr
<whitequark> arboris: which one?
thomasga has quit [Client Quit]
zpe has joined #ocaml
<arboris> whitequark: the paste is the error report
nikki93 has joined #ocaml
Rc43 has quit [Ping timeout: 240 seconds]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<arboris> whitequark: verbose version: http://lpaste.net/103425
zpe has quit [Remote host closed the connection]
manizzle has joined #ocaml
malo has joined #ocaml
<arboris> not sure if that is helpful, apparently the ffi bindings fail to compile
<arboris> which version of zeromq are the bindings known to work with?>
michael_lee has quit [Ping timeout: 255 seconds]
dsheets has quit [Ping timeout: 250 seconds]
<hnrgrgr> arboris: here, it compiles with 4.0.4
ninegrid has quit [Ping timeout: 252 seconds]
maattdd__ has quit [Ping timeout: 252 seconds]
maattdd__ has joined #ocaml
ninegrid has joined #ocaml
ninegrid has quit [Ping timeout: 240 seconds]
ninegrid has joined #ocaml
maattdd__ has quit [Ping timeout: 246 seconds]
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
tnguyen has quit [Quit: tnguyen]
dapz has joined #ocaml
ninegrid has quit [Ping timeout: 245 seconds]
<arboris> ok, finally
<arboris> needed to deinstall fedoras version 2.2,.. 4.04 indeed works, thanks hnrgrgr
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<arboris> but of course iocaml needs a deprecated version that fails to compile...
<arboris> :(
<arboris> i give up
ninegrid has joined #ocaml
Kakadu has joined #ocaml
<tautologico> the problem is that zmq broke compatibility in the API from 3 to 4
<tautologico> iocaml worked with zmq 3, but with the update of the ocaml bindings to v4, iocaml and iocaml-server (and lwt-zmq) all broke
<arboris> so I need to install zeromq 3
dapz has joined #ocaml
<tautologico> there is a patch to solve the problem for iocaml, I don't know it hasn't been integrated yet
<arboris> how much work is it to adapt it to the new bindings?
<tautologico> it's simple
<tautologico> but fixing the server depends on fixing lwt-zmq too
dapz has quit [Client Quit]
dapz has joined #ocaml
<arboris> ok, I guess I will wait a few days, until this has been resolved
<tautologico> yes
<arboris> no sense in investing energy to make the old version work
<tautologico> the fixes to lwt-zmq depend on a pending fix to ocaml-zmq :)
dapz has quit [Client Quit]
<tautologico> if you install zeromq 3.2 and install the previous version of the ocaml zmq bindings it should work
<arboris> tautologico, I realize that
<arboris> but atm, I don't want to spend any more effort on this :)
dapz has joined #ocaml
<arboris> not sure how multiple incompatible versions are even handled
dapz has quit [Client Quit]
<arboris> or if I would have to manually remove the zeromq 4.0 version i just installed into /usr/local
dapz has joined #ocaml
dapz has quit [Client Quit]
thomasga has joined #ocaml
ninegrid has quit [Ping timeout: 252 seconds]
<arboris> tautologico, ok I'm watching those issues now. At least I'm not the only one that is suffering
<tautologico> it's sad, I couldn't use iocaml before because I couldn't downgrade zmq to 3.2
ninegrid has joined #ocaml
<tautologico> and now I can't use it because upgrading the bindings broke everything else
<arboris> fedora ships zmq-2.*
<arboris> :)
<arboris> dealing with multiple library versions is a huge pain
<arboris> and sort of lets you question the concept of shared libraries
<arboris> although so far I've kind of avoided learning how the system actually works
<arboris> if I knew I probably would know how to fix some of the problems
thomasga has quit [Ping timeout: 255 seconds]
<mrvn> zeromq 4 is backward compatible to zeromq 3
<tautologico> mostly
<arboris> the bindings aren't
<tautologico> but they changed the event signaling in monitor sockets
<tautologico> so the bindings weren't compiling with zmq 4 before
<mrvn> then report a bug about that to zmq. They are supposed to be.
<tautologico> the problem is the bindings didn't just update the stub code, they also changed the API
<tautologico> I talked to the guy that made the changes, they're aware of this break
dapz has joined #ocaml
<mrvn> if the bindings changed the api then that is their problem. But libzmq shouldn't. It has the same SOVERSION.
<mrvn> no
ninegrid has quit [Ping timeout: 255 seconds]
ninegrid has joined #ocaml
hellome has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
studybot_ has joined #ocaml
studybo__ has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
arboris has quit [Remote host closed the connection]
studybot_ has quit [Ping timeout: 255 seconds]
lostcuaz has joined #ocaml
ninegrid has quit [Ping timeout: 252 seconds]
ninegrid has joined #ocaml
dapz has joined #ocaml
lopex has quit [Ping timeout: 252 seconds]
WraithM has quit [Quit: leaving]
WraithM has joined #ocaml
lopex has joined #ocaml
Anarchos has joined #ocaml
thomasga has joined #ocaml
studybo__ has quit [Read error: Connection reset by peer]
studybot_ has joined #ocaml
studybo__ has joined #ocaml
thomasga has quit [Read error: Operation timed out]
_andre has quit [Quit: leaving]
studybot_ has quit [Ping timeout: 245 seconds]
WraithM has quit [Remote host closed the connection]
angerman has quit [Quit: Gone]
<_obad_> is there a provision to create toplevels in oasis?
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
axiles has quit [Remote host closed the connection]
saml has quit [Ping timeout: 255 seconds]
WraithM has joined #ocaml
studybo__ has quit [Read error: Connection reset by peer]
studybot_ has joined #ocaml
dapz has joined #ocaml
clan has joined #ocaml
dapz has quit [Client Quit]
dapz has joined #ocaml
Arsenik has quit [Remote host closed the connection]
Arsenik has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
saml has joined #ocaml
studybot_ has quit [Read error: Connection reset by peer]
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
Submarine has quit [Quit: Leaving]
Hannibal_Smith has quit [Quit: Sto andando via]
rz has joined #ocaml
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
dapz has joined #ocaml
clan has quit [Quit: clan]
clan has joined #ocaml
Thooms has joined #ocaml
olauzon has quit [Quit: olauzon]
thomasga has joined #ocaml
thomasga has quit [Ping timeout: 252 seconds]
nikki93 has quit [Read error: Connection reset by peer]
nikki93 has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
jpeeters has joined #ocaml
<jpeeters> Hi everyone
<_obad_> hi
<jpeeters> how can I build a baremetal application on a arm processor (eg. Raspberry Pi)
<jpeeters> I guess that I need to write some asm to bootstrap the ocaml runtime, right?
<jpeeters> _obad_: Hi
<_obad_> well how do you plan on doing I/O?
<jpeeters> _obad_: what do you have in mind?
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
<_obad_> maybe the section of the manual about integrating ocaml in c would be helpful
<_obad_> then the c would be your toplevel code called from the bootloader
<jpeeters> _obad_: do you mean that I should create a boostrap code in C and then jump to an OCaml entry point using C interface?
<_obad_> if you can run C code that uses the C library functions the caml toplevel uses then it's a good start
NoNNaN has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
<_obad_> so I would see it as step 1 - check what minimum set of functions the ocaml runtime needs step 2 - write a "hello world" in C that uses those primitives step 3 - link in the ocaml runtime and your ocaml hello world and call it from your C
nikki93 has joined #ocaml
NoNNaN has joined #ocaml
<jpeeters> _obad_: I am pretty new to ocaml internals and especially on the runtime
<jpeeters> so what kind of functions are you talking about in step 1 ?
<Drup> jpeeters: you could look at mirage for that
<Drup> they have something that is close to working on baremetal
<Drup> ask them, they could probably tell you what is missing
<jpeeters> Drup: Hi, yes I saw this project today
Anarchos has quit [Ping timeout: 240 seconds]
<jpeeters> Do you think that this could work on a ARM Cortex M4 @ 84MHz ? Do you know some people that succeeded in this?
ollehar has joined #ocaml
<Drup> I know some people are working on it
<Drup> (at least for ARM in general)
<Drup> (ARM is a very diverse architecture)
<jpeeters> I mean that this should certainly work on a Rasperry PI but I wonder is this is also feasible on a Cortex M series
<_obad_> jpeeters: so I had a look and I think you need to implement at least a malloc() as called from caml_aligned_malloc()
<smondet> jpeeters: there is a #mirage channel
<jpeeters> Drup: Are they ARM engineers?
<_obad_> it depends a lot by what you mean by baremetal...
<jpeeters> smondet: thanks
<jpeeters> baremetal = no OS, only application
<_obad_> yes but you may have varying amounts of C library support
<jpeeters> I will mostly do I/O control and register configuration, so I need very few third party library
<Drup> _obad_: mirage implement most of this stuff already
<smondet> also the craziest "ocaml bare metal" project I know is http://www.algo-prog.info/ocaml_for_pic/web/index.php?id=ocapic
<smondet> maybe good inspiration
<Drup> pic is a whole different beast :D
<_obad_> how does mirage handle malloc/free?
<Drup> _obad_: no idea, ask them
<companion_cube> I don't think oCaml needs malloc/free
<jpeeters> smondet: yes I've just found this project few minutes ago
<companion_cube> it just needs to be able to ask for pages
<jpeeters> companion_cube: do you mean that the OCaml runtime already contains a memory allocator?
tani has quit [Quit: Verlassend]
<jpeeters> (the GC may be is responsible for this)
<companion_cube> well yes, the GC has its own allocation/deallocation scheme
<companion_cube> that do not rely on malloc
thomasga has joined #ocaml
<_obad_> companion_cube: ocaml still uses malloc() to get memory, and then it uses that as a heap and as a stack
Arsenik has quit [Remote host closed the connection]
<_obad_> caml_init_gc -> caml_set_minor_heap_size -> caml_aligned_malloc -> malloc
<_obad_> and then caml_init_major_heap -> malloc
<Drup> if it's only used for that, it should be easy to just replace the external implementation
<Drup> (instead of trying to reimplement a malloc)
<companion_cube> _obad_: it's strange, it should be able to call mmap directly
<_obad_> it also uses free() regularly
<_obad_> when it does heap compactions
<companion_cube> ok, good to know
struktured has joined #ocaml
<jpeeters> hummm mirage people don't look to be very active this evening...
ggole has quit [Ping timeout: 265 seconds]
Simn has quit [Quit: Leaving]
wwilly has quit [Quit: This computer has gone to sleep]
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
lpw25 has joined #ocaml
<smondet> jpeeters: the mirage people are in Cambridge UK, it's pretty late there
clan has quit [Quit: clan]
nikki93 has quit [Remote host closed the connection]
Kakadu has quit [Quit: Konversation terminated!]
thomasga has quit [Quit: Leaving.]
clan has joined #ocaml
thomasga has joined #ocaml
Thooms has quit [Ping timeout: 246 seconds]
struktured has quit [Ping timeout: 240 seconds]
Nahra has quit [Quit: leaving]
rgrinberg has joined #ocaml
<_obad_> stream parsers are going to die with camlp4, right?
<_obad_> so I shouldn't be using them...
struktured has joined #ocaml
<_obad_> what's a good replacement? roll your own parser combinators? use Stream.peek... ?
<companion_cube> most of the time an ocamlyacc/menhir parser should be convenient
<_obad_> that's too heavy in practice. I have small inline parsers for a command line interface
rgrinberg has quit [Quit: Leaving.]
Nahra has joined #ocaml
thomasga has quit [Quit: Leaving.]
Submarine has quit [Quit: Leaving]
<companion_cube> _obad_: for a CLI, did you try cmdliner?
<_obad_> no
<_obad_> I was using lambda-term
<jpeeters> smondet: you're right
<jpeeters> may be there is a very simple way to deal with my issue: use -output-obj of ocamlc
<_obad_> companion_cube: it's an online command-line interface, not a pure cli command.
<_obad_> like a terminal.
<jpeeters> but I need to figure out how to make ocamlc use the cross toolchain to produce the C object file
clan has quit [Quit: clan]
ollehar has quit [Ping timeout: 252 seconds]
darkf has joined #ocaml
clan has joined #ocaml
<companion_cube> _obad_: ah, sorry
araujo has joined #ocaml
araujo has quit [Changing host]
araujo has joined #ocaml
q66 has quit [Quit: Leaving]
struktured has quit [Ping timeout: 252 seconds]
nikki93 has joined #ocaml
Nahra has quit [Remote host closed the connection]
Nahra has joined #ocaml
nikki93 has quit [Ping timeout: 246 seconds]
<Drup> _obad_: start by not using Stream from the standard library.
madroach has quit [Ping timeout: 252 seconds]
<Drup> _obad_: what do you want to do exactly ?
struktured has joined #ocaml
madroach has joined #ocaml
nikki93 has joined #ocaml
dapz has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
jpeeters has quit [Quit: Leaving.]
Nahra has quit [Remote host closed the connection]
Nahra has joined #ocaml
jzelinskie has joined #ocaml
Pupnik has joined #ocaml
thomasga has joined #ocaml