flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.0 out now! Get yours from http://caml.inria.fr/ocaml/release.html
alexyk has joined #ocaml
aym has joined #ocaml
alexyk has quit []
travisbrady has joined #ocaml
travisbrady_ has quit [Read error: 104 (Connection reset by peer)]
aym has quit ["Lost terminal"]
sporkmonger has quit []
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
ulfdoz_ is now known as ulfdoz
alexyk has joined #ocaml
Associat0r has quit []
sporkmonger has joined #ocaml
alexyk has quit []
sporkmonger has quit []
Snark has joined #ocaml
hkBst has joined #ocaml
jamii has joined #ocaml
jeanbon has joined #ocaml
komar_ has joined #ocaml
rAphael has joined #ocaml
slash_ has joined #ocaml
slash_ has quit [Client Quit]
slash_ has joined #ocaml
sporkmonger has joined #ocaml
sgnb has quit [Read error: 54 (Connection reset by peer)]
sgnb has joined #ocaml
Camarade_Tux has joined #ocaml
totom has left #ocaml []
travisbrady has quit [Read error: 104 (Connection reset by peer)]
travisbrady_ has joined #ocaml
hkBst has quit [Remote closed the connection]
RLa has joined #ocaml
Ched has joined #ocaml
angerman has joined #ocaml
schme has joined #ocaml
schme has quit ["leaving"]
schme has joined #ocaml
sporkmonger has quit []
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
Yoric[DT] has joined #ocaml
<Camarade_Tux> why do I suddenly try to use all the reserved keywords as function names : as, type, class... ? =P
<mrvn> new, end, in?
<Camarade_Tux> I think I tried new and in too ;p
<Camarade_Tux> (but not 'and' >< )
<mrvn> let done = ref true in while ! done do (); done
<Camarade_Tux> tried 'to' too =/
<Camarade_Tux> btw, I remembered why I was using polymorphic variants instead of regular ones : it gave a stricter typing (with [<`Something] for instance)
munga2 has joined #ocaml
<Camarade_Tux> anyway, I wanted to be able to write something such as "mystring#as `Lowercase `Underscores" but that would lead to a quite weak typing so I'll just end up writing "mystring#as_lowercase_with_underscores" and write all the possibilities that way ><
<mrvn> Camarade_Tux: what is wrong with using Lowercase | Uppercase?
RLa has quit ["Leaving"]
<rAphael> Camarade_Tux: or mystring#as ~lowercase ~underscore ()
<Camarade_Tux> what I want is for another function : "f : [< `Lowercase] -> some_type", where f is usually called with "f (mystring#as_lowercase ())"
<Camarade_Tux> I want the return value to have a precise type and if I use the same function, it will have to return [`Lowercase | `Uppercase] (or the equivalent with regular variants) which wouldn't be ok
Narrenschiff has joined #ocaml
<mfp> Camarade_Tux: what about f : ([< `Lowercase | `Uppercase] as 'a) -> 'a some_type ?
<Camarade_Tux> I guess that could work ;)
<Camarade_Tux> actually no because some_type will probably be unrelated
<mrvn> Camarade_Tux: mystring#as_lowercase () makes no sense by the way. Methods can take 0 arguments.
<Camarade_Tux> I don't have it that way actually
angerman has quit []
Yoric[DT] has quit [Read error: 113 (No route to host)]
pipping has joined #ocaml
<pipping> Hi. I don't get a remark in the INSTALL file. It says there
<pipping> An alternative, and faster approach to steps 2 to 5 is `make world.opt`. The result is equivalent to "make world opt opt.opt", but this may fail if anything goes wrong in native-code generation
<pipping> So... is it more likely to fail than running "make world opt opt.opt"?
<Camarade_Tux> pipping, not sure, but which platform are you on ?
<pipping> x86_64, linux
<Camarade_Tux> have you tried using your distribution packages or godi ? or is there a reason you want to compile it that way ?
<pipping> my point is mostly this: if building that way is faster than `make world opt opt.opt` i'll do that. if it's more likely to fail, though, i'm not interested
<pipping> Camarade_Tux: i'm working on the package for a distro.
<Camarade_Tux> ha, I see ;)
<julm> pipping: make world.opt fails for me if I'm doing it directly (I'm on x86_64 too)
<pipping> ow.
<Camarade_Tux> I don't think it will be noticeably faster wrt cpu time, might mostly be faster to type
<Camarade_Tux> julm, oh, it think it has always succeeded for me (even on windows p; )
<Camarade_Tux> <DEL><DEL><DEL><DEL>xp
ikaros has joined #ocaml
<julm> Camarade_Tux: remember the night with palomer, I told you make world.opt failed
olegfink has joined #ocaml
<Camarade_Tux> hmmm, right
<olegfink> hi
<Camarade_Tux> hi oleg
<julm> _o/
<olegfink> has anyone used camlp4 for completely non-ocaml business?
<olegfink> so far I've failed to find a nice proprocessor for C, and camlp4 is generally what I want, despite the fact that I don't want to implement C Parser/Printer myself. :-)
<pipping> I've added what I found out yesterday, w.r.t. parallel make to bug #4243 btw.
angerman has joined #ocaml
<pipping> if anything, world.opt takes even long to build xD
julm has left #ocaml []
julm has joined #ocaml
<pipping> took me about a minute longer. suceeded, though. gnah.
BiDOrD has joined #ocaml
angerman has quit []
BiDOrD has quit [Read error: 104 (Connection reset by peer)]
BiDOrD has joined #ocaml
Yoric[DT] has joined #ocaml
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
rwmjones_ has joined #ocaml
seafood has quit []
seafood has joined #ocaml
seafood has quit []
marmottine has joined #ocaml
Associat0r has joined #ocaml
ikaros has quit [Read error: 110 (Connection timed out)]
rwmjones_ has quit [Read error: 60 (Operation timed out)]
angerman has joined #ocaml
Jedai has quit [hubbard.freenode.net irc.freenode.net]
Asmadeus has quit [hubbard.freenode.net irc.freenode.net]
bohanlon has quit [hubbard.freenode.net irc.freenode.net]
nimred has quit [hubbard.freenode.net irc.freenode.net]
sgnb has quit [Read error: 104 (Connection reset by peer)]
sgnb` has joined #ocaml
julm has quit ["Quitte"]
julm has joined #ocaml
nimred has joined #ocaml
pipping_ has joined #ocaml
Jedai has joined #ocaml
Asmadeus has joined #ocaml
bohanlon has joined #ocaml
angerman has quit []
travisbrady has joined #ocaml
travisbrady_ has quit [Read error: 104 (Connection reset by peer)]
pipping has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has quit ["Ex-Chat"]
alexyk has joined #ocaml
alexyk has quit [Client Quit]
Jedai has quit [Read error: 60 (Operation timed out)]
jeddhaberstro has joined #ocaml
munga2 has quit [Read error: 110 (Connection timed out)]
Jedai has joined #ocaml
BiDOrD has quit []
alexyk has joined #ocaml
alexyk has quit [Client Quit]
itewsh has joined #ocaml
alexyk has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
Jedai has joined #ocaml
marmottine has quit [Read error: 110 (Connection timed out)]
travisbrady has quit []
jeddhaberstro has quit []
yziquel has joined #ocaml
rwmjones_ has joined #ocaml
<yziquel> Has anyone got an example of using ocamlbuild to build C bindings?
<Camarade_Tux> I tried not that long ago, now I use ocamlmakefile
<Camarade_Tux> (but that's partly because ocamlbuild was too hard for what I wanted [autogeneration of very various bindings])
<yziquel> Camarade_Tux: I simply need a basic example to get started, and to have a feel of what I'm getting into.
sporkmonger has joined #ocaml
<Camarade_Tux> there are two examples on the wiki iirc, and there is ocamlbuild-ctools which I haven't tried
<Camarade_Tux> I'm surprised I haven't tried ocamlbuild-ctools, seems to do what I needed
<Camarade_Tux> well, http://git.dvide.com/pub/ocamlbuild-ctools/tree/README seems much more complicated than 15 lines of Makefile (counting empty lines)
pipping_ is now known as pipping
<yziquel> i'll have a look. but i'd really like to avoid using ocamlbuild-ctools, and the plugin example doesn't really seem a generic example...
<Camarade_Tux> my problem with the plugin example was it isn't generic enough : it needs to be changed for each library
<yziquel> Camarade_Tux: indeed, that is the main issue.
pipping has left #ocaml []
Fihld has joined #ocaml
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
itewsh has quit [Read error: 60 (Operation timed out)]
ikaros has joined #ocaml
Fihld has quit ["Quitte"]
Narrenschiff has quit []
_zack has joined #ocaml
itewsh has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
aym has joined #ocaml
alexyk has quit []
_zack has quit ["Leaving."]
munga2 has joined #ocaml
munga__ has joined #ocaml
munga2 has quit [Read error: 60 (Operation timed out)]
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
Amorphous has quit [Read error: 104 (Connection reset by peer)]
sgnb` has quit [Read error: 54 (Connection reset by peer)]
sgnb` has joined #ocaml
itewsh has quit [Success]
itewsh has joined #ocaml
Amorphous has joined #ocaml
yziquel has left #ocaml []
<Camarade_Tux> flux, probably somewhere around 40% ;p
Camarade_Tux has quit [Remote closed the connection]
Camarade_Tux has joined #ocaml
alexyk has joined #ocaml
schme has quit [Read error: 113 (No route to host)]
julm has quit ["Quitte"]
<flux> camarade_tux, mm what?
<Camarade_Tux> remember the 7-8% and 15% last week ? ocaml-gir :D
<flux> camarade_tux, oooh
alexyk has quit []
hkBst has joined #ocaml
julm has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
schme has joined #ocaml
Ppjet6 has quit [Read error: 113 (No route to host)]
Snark has quit ["Ex-Chat"]
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
angerman has joined #ocaml
rAphael has quit ["Zz"]
_JFT_ has joined #ocaml
angerman has quit []
duper- has joined #ocaml
angerman has joined #ocaml
_JFT_ has quit []
angerman has quit []
duper-_ has joined #ocaml
komar_ has quit [Read error: 104 (Connection reset by peer)]
duper- has quit [Read error: 110 (Connection timed out)]
<Camarade_Tux> hmmm, /me has troubles using mikmatch and pxp in the toplevel
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
schme has quit [Read error: 113 (No route to host)]
Ppjet6 has joined #ocaml
jeanbon has quit [Nick collision from services.]
Alpounet has joined #ocaml
Ppjet6 has quit [Remote closed the connection]
jamii has quit [Read error: 60 (Operation timed out)]
Ppjet6 has joined #ocaml
alexyk has joined #ocaml
ikaros has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
itewsh has quit [Client Quit]
seafood has joined #ocaml
eut has joined #ocaml
<eut> hello
<eut> whats the difference between val x : int -> (int list -> int list) = <fun> and val x: int -> int list -> int list = <fun>?
<julm> eut: it is the same
<eut> the () just mean 'function' right?
<julm> well "->" means function
<julm> but "->" is right-associative
Ppjet6 has quit [Read error: 104 (Connection reset by peer)]
Ppjet6 has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
alexyk_ has joined #ocaml
alexyk__ has joined #ocaml
alexyk has quit [Read error: 110 (Connection timed out)]
aym has quit []
alexyk_ has quit [Read error: 113 (No route to host)]
Camarade_Tux has quit [Read error: 110 (Connection timed out)]
alexyk__ has quit []