gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
sizz has left #ocaml []
bddn has quit [Remote host closed the connection]
bddn has joined #ocaml
sepp2k1 has quit [Remote host closed the connection]
<hcarty> thelema: https://github.com/hcarty/batteries-included/tree/bounded -- BatBounded module with a more complete implementation, including support for open and closed bounds. I want to think about the interface a bit more before making a pull request, but feedback is welcome if you get a chance before then.
<thelema> uh oh, both open and closed bounds?
<thelema> oh, meaning (x, inf) or (-inf, x)?
<_habnabit> i think he means (x, y) and [x, y] (and maybe also [x, y))
<thelema> that was my first guess, but starting to read the code, it looks like there's more support for None as an endpoint
<thelema> n/m, type 'a bound_t = [ `o of 'a | `c of 'a ]
<thelema> _habnabit: I think you're right.
<thelema> actually, we're both right - both lacking an endpoint *and* including/not-including endpoint
<_habnabit> heh
<thelema> which means that it should be: [`o of 'a | `c of 'a | `inf]
<thelema> so that we don't have 'a bound_t option
wtetzner has quit [Remote host closed the connection]
wtetzner has joined #ocaml
cabbagebot has quit [Ping timeout: 248 seconds]
avsm has joined #ocaml
Ptival has joined #ocaml
scri has joined #ocaml
<scri> why is there a link to 3.12?
<scri> anyway, #use "topfind" doesn't work
<scri> i get ubound module Toploop in tuareg, and can't find file "topfind" from the terminal
gentleben has joined #ocaml
gentleben has left #ocaml []
ankit9 has joined #ocaml
ulfdoz has joined #ocaml
scri has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 240 seconds]
bddn has quit [Ping timeout: 248 seconds]
eni has joined #ocaml
scri has joined #ocaml
<scri> why wouldn't i have the toploop module?
pango is now known as pangoafk
ftrvxmtrx has quit [Quit: Leaving]
<scri> does ocaml not install toploop by default?
eni has quit [Ping timeout: 246 seconds]
bddn has joined #ocaml
<scri> so everything in compilerlibs, tools, toplevel is left in the fuckin source directory
<scri> why are they not installed?
<scri> where is the documentation on how to install the complete system?
avsm has quit [Quit: Leaving.]
<adrien> how have you installed?
<scri> pacman repository
<adrien> iirc, you need to ask zorun :P
<scri> the pkgbuild uses the standard configure parameters,
<scri> is he involved or is he just an arch guy
<adrien> iirc he does packaging, not sure for which package
<adrien> plus I like giving him work :P
<scri> zorun: i'm at my wits end and i have a project due
<scri> i seek guidance
<adrien> your project depends on Toploop?
* adrien afk 30 minutes
<scri> well, maybe not...
<scri> come to think of it im a bit sidetracked
<scri> but i need ounit, and the toplevel cant seem to find it
<scri> so i try #use "topfind", which tells me Toploop is unbound
<scri> hopefully ill be in bed before he comes back
thomasga has joined #ocaml
avsm has joined #ocaml
avsm has quit [Client Quit]
ftrvxmtrx has joined #ocaml
<zorun> ah ah adrien :)
<zorun> scri: what's the issue?
<scri> ok, the toplevel directory was not installed
<zorun> scri: try the ocaml-compiler-libs package
<scri> i did, it's not in there
<scri> what i need is the toploop module, which isn't found when i #use "topfind"
<scri> those are the files for compiler-libs
<scri> it leaves out toplevel, tools, otherlibs, and i am lost as to how to install those, too
djcoin has joined #ocaml
<scri> the ocaml install just gives the toploop.cmi file
<zorun> /usr/lib/ocaml/compiler-libs/toploop.cmi
<zorun> isn't that enough?
<scri> # #use "topfind";;
<scri> File "/usr/lib/ocaml/topfind", line 16, characters 12-41:
<scri> Error: Unbound module Toploop
Snark has joined #ocaml
<diml> scri: for ocaml 4 you need the latest version of findlib
<diml> which versions of ocaml and findlib have you installed ?
<scri> 1.3.3-1 findlib
<scri> ocaml 4.00
<scri> .0
<diml> scri: does /usr/lib/ocaml/topfind contains this line: #directory "+compiler-libs";;
<scri> no, just #directory "/usr/lib/ocaml/findlib";;
<scri> ok i will add that
bddn has quit [Ping timeout: 264 seconds]
<diml> you have to rebuild the findlib package
<scri> it's out of date?
<diml> no, but i think it was not recompiled with ocaml 4
<diml> that's why the line was missing
<scri> thank you so much
<scri> that was it after all
<scri> will compiling with 4 break compatibility with >4?
<scri> i'm wondering if i should call it a bug for the arch package
<scri> i mean < 4.00
cago has joined #ocaml
<diml> if the repo contains ocaml 4, then findlib should be compiled for ocaml 4
<diml> scri: so it is a bug
<scri> i filed it
<scri> thanks again, gn
scri has left #ocaml []
eni has joined #ocaml
ocp has joined #ocaml
Yoric has joined #ocaml
ontologiae has joined #ocaml
avsm has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
eni has quit [Quit: Leaving]
cago has quit [Quit: Leaving.]
ocp has left #ocaml []
chambart has joined #ocaml
ankit9 has quit [Ping timeout: 268 seconds]
cago has joined #ocaml
ankit9 has joined #ocaml
Ptivalternative has joined #ocaml
Ptival has quit [Ping timeout: 276 seconds]
Ptivalternative is now known as Ptival
ocp has joined #ocaml
avsm has quit [Quit: Leaving.]
cago has quit [Quit: Leaving.]
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
ontologi1e has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
ontologi1e has quit [Client Quit]
ontologiae has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
bddn has joined #ocaml
leoncamel has joined #ocaml
avsm has joined #ocaml
avsm has quit [Client Quit]
avsm has joined #ocaml
ontologi1e has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 244 seconds]
Yoric has quit [Ping timeout: 246 seconds]
ankit9 has quit [Ping timeout: 252 seconds]
avsm1 has quit [Quit: Leaving.]
chambart has quit [Ping timeout: 240 seconds]
oriba has joined #ocaml
avsm has joined #ocaml
ankit9 has joined #ocaml
avsm has quit [Quit: Leaving.]
ontologi1e has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
bacam has quit [Ping timeout: 244 seconds]
bacam has joined #ocaml
ontologiae has joined #ocaml
paolooo has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
ontologiae has joined #ocaml
Progster has joined #ocaml
avsm has quit [Quit: Leaving.]
madroach has joined #ocaml
<hcarty> thelema, _habnabit: You're both correct - no bounds and [/( )/] are supported
<hcarty> thelema: That's a good idea - I'll make the min/max bounds required and add `inf in place of None
<hcarty> thelema: Beyond that, it needs tests and examples and possibly moving the BoundedType module type to BatInterfaces
ankit9 has quit [Ping timeout: 240 seconds]
<hcarty> thelema: Any suggestions for a better name for the bounding_of_ord_chain function?
<mehdid> booc :)
thomasga1 has joined #ocaml
thomasga has quit [Read error: Connection reset by peer]
_andre has quit [Read error: Connection reset by peer]
_andre has joined #ocaml
ankit9 has joined #ocaml
oriba has quit [Quit: oriba]
ontologiae has quit [Ping timeout: 252 seconds]
Progster has quit [Ping timeout: 244 seconds]
Yoric has quit [Ping timeout: 246 seconds]
<flux> bndng_of_ordchn
<adrien> ftaghn!
avsm has joined #ocaml
ontologiae has joined #ocaml
avsm has quit [Quit: Leaving.]
MHD has joined #ocaml
<MHD> Is there such a thing as "Ocaml for Haskell programmers" floating around on the internet
ftrvxmtrx has quit [Quit: Leaving]
eni has joined #ocaml
ftrvxmtrx has joined #ocaml
sepp2k has joined #ocaml
rwmjones_hols has joined #ocaml
<adrien> hah :P
<adrien> but I prefer something like that rather to horrible mangling like with C++
<adrien> otoh, I guess that when you "exception Skip" and then make "skip.ml"...
MHD has quit [Quit: Page closed]
<mehdid> It doesn't work with Pervasives.Exit though :/
<mehdid> I fail to see (yet) how that could happen
<mehdid> well, it also fails with exit (for a bad reason) but it doesn't reach the linking phase
<mehdid> *Exit
<The_third_man> Hi, does anyone know how to match any character + newline with a regex ?
<The_third_man> I tried "\(\n.\)*" but it does'nt seem to work
<mehdid> str or pcre?
<The_third_man> str
<thelema> instead of (), use []
<thelema> () is grouping, [] s character set
<adrien> \\
<adrien> and if you want grouping: "\\(\n.\\)*"
<thelema> yes, also you need an unusual number of \
<The_third_man> thank you
BiDOrD_ has joined #ocaml
BiDOrD has quit [Ping timeout: 276 seconds]
Yoric has joined #ocaml
ankit9 has quit [Quit: Leaving]
avsm has joined #ocaml
bddn has quit [Ping timeout: 240 seconds]
rwmjones_hols is now known as rwmjones
Yoric has quit [Ping timeout: 248 seconds]
tufisi has joined #ocaml
Haseo has quit [Read error: Connection reset by peer]
Haseo has joined #ocaml
eni has quit [Ping timeout: 276 seconds]
larhat has joined #ocaml
<larhat> hi folks, i'm trying opam (on macosx) and want to install lwt. i have libev installed by brew. opam, however uses "—disbable-libev" when configuring lwt. where should i look to fix this issue? are there any ways to pass configuration options by myself?
<thomasga1> opam install conf-libev
<thomasga1> that tells opam that you have libev installed on your system
thomasga1 is now known as thomasga
chambart has joined #ocaml
<thomasga> larhat: feel free to ask more question if you hit a new problem (hopefully not)
<thomasga> *questions*
<larhat> thomasga: ok, thanks. it turns out brew has installed libev headers in ~/.brew/opt/libev/include. but "opam install conf-libev" fails even if i modify C_INCLUDE_PATH and LIBRARY_PATH accordingly
<thomasga> hum
<thomasga> the header detection in conf-libev is extracted from lwt
<thomasga> so if it does not work, not sure if lwt will work as well
<larhat> ok, i'll check configure in lwt to detect whether it's problem with lwt or my os %)
Haseo has quit [Quit: Bye]
Haseo has joined #ocaml
<thomasga> for conf-libev
<f[x]> let is_problem_with_os = function "macos" -> true
<larhat> f[x]: ;-)
<larhat> probably is, but i also dislike search_paths list in discover.ml above
<zorun> :D
<f[x]> who will be the first to submit pkg-config patch to libev?
<adrien> start by telling the author to stop shipping his borked event.h
<f[x]> what's wrong with it?
eni has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
Yoric has joined #ocaml
<adrien> f[x]: it's a file from libevent, not libev...
<adrien> but
ftrvxmtrx has quit [Quit: Leaving]
Tobu has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
avsm has quit [Client Quit]
Yoric has quit [Ping timeout: 246 seconds]
thomasga has quit [Read error: Connection reset by peer]
thomasga1 has joined #ocaml
thomasga1 is now known as thomasga
Tobu has quit [Ping timeout: 260 seconds]
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
Yoric has joined #ocaml
eni has quit [Ping timeout: 276 seconds]
avsm has joined #ocaml
ontologi1e has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
Tobu has joined #ocaml
<larhat> thomasga: what do you think of this discover.ml — http://paste.in.ua/4700/ ? It uses Sys.getenv to obtain LIBRARY_PATH and C_INCLUDE_PATH and passes them to -ccopt . Result: http://paste.in.ua/4701/?as=text . But when i pin opam to directory with patched conf-libev.4-11 i still get error. And i dont see my log message in "opam install conf-libev" output, so i guess opam still uses old version of discover.ml
<larhat> thomasga: http://paste.in.ua/4703/ — here is diff
ontologi1e has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
<larhat> f[x]: there is a pkg-config patch for libev http://lists.schmorp.de/pipermail/libev/2011q2/001471.html
avsm has quit [Quit: Leaving.]
<larhat> thomasga: oh, i forgot about opam update
ftrvxmtrx has joined #ocaml
<thomasga> larhat: I got a Not_found exception
<thomasga> when I run your code
<larhat> probably i should combine both methods: old with header searching and my with env variables.
<larhat> you doesn't have C_INCLUDE_PATH or LIBRARY_PATH defined
<larhat> or just append paths from variables (if available) to those defined in sources
<thomasga> yup, that would be perfect
<thomasga> but even if conf-libev works, I'm afraid you will have to modify lwt configure script to work as well :/
cabbagebot has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 276 seconds]
thomasga has quit [Quit: Leaving.]
bddn has joined #ocaml
Sablier has quit [Ping timeout: 245 seconds]
cdidd has quit [Ping timeout: 276 seconds]
Sablier has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
cabbagebot has quit [Ping timeout: 260 seconds]
emmanuelux has quit [Ping timeout: 246 seconds]
pangoafk is now known as pango
paolooo has quit [Ping timeout: 245 seconds]
fraggle_laptop has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.7]
chambart has quit [Ping timeout: 264 seconds]
<larhat> it seems that opam pinning doesn't work on my system, or i'm doing smth wrong: i've update conf-libev package, run "opam pin conf-libev path/to/my/copy", run "opam update", then run "opam install conf-libev" , but opam runs cached version, despite its own log: http://paste.in.ua/4706/ (I've added debug outputs to modified package). Am I doing smth wrong?
cabbagebot has joined #ocaml
eni has joined #ocaml
ontologiae has quit [Ping timeout: 252 seconds]
Tobu has quit [Ping timeout: 260 seconds]
Yoric has joined #ocaml
Snark has quit [Quit: Quitte]
<larhat> And I don't understand why ocamlfind installed with "-no-topfind" option %(
<thelema> that's bad. but probably fixable
<larhat> thelema: i cant get "opam pin" works yet, so cannot just edit opam file and reinstall ocamlfind
ocp has left #ocaml []
larhat has quit [Quit: Leaving.]
<thelema> well, I could be evil and try to lure you away from opam; I use (and develop) odb.ml and use its partner ocamlbrew for what opam does.
Znudzon has joined #ocaml
fraggle_laptop has quit [Ping timeout: 245 seconds]
djcoin has joined #ocaml
err404 has joined #ocaml
jave has quit [*.net *.split]
mal`` has quit [*.net *.split]
maufred has quit [*.net *.split]
jave has joined #ocaml
mal`` has joined #ocaml
maufred has joined #ocaml
mal`` has quit [Ping timeout: 244 seconds]
jave has quit [Max SendQ exceeded]
mal`` has joined #ocaml
cabbagebot has quit [Ping timeout: 246 seconds]
jave has joined #ocaml
cabbagebot has joined #ocaml
Xizor has joined #ocaml
Tobu has joined #ocaml
Playground has joined #ocaml
cabbagebot has quit [Ping timeout: 260 seconds]
err404 has quit [Remote host closed the connection]
Anarchos has joined #ocaml
<mehdid> is there a user manual for opam?
emmanuelux has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
gnuvince has quit [Ping timeout: 244 seconds]
Playground has quit [Ping timeout: 240 seconds]
Playground has joined #ocaml
Xizor has quit []
avsm has joined #ocaml
gnuvince has joined #ocaml
_andre has quit [Quit: leaving]
cago has joined #ocaml
cago has quit [Client Quit]
larhat has joined #ocaml
Tobu has quit [Remote host closed the connection]
Tobu has joined #ocaml
cabbagebot has joined #ocaml
tufisi has quit [Ping timeout: 276 seconds]
avsm has quit [Ping timeout: 264 seconds]
ftrvxmtrx has quit [Ping timeout: 245 seconds]
ftrvxmtrx has joined #ocaml
willb has quit [Ping timeout: 246 seconds]
willb has joined #ocaml
cabbagebot has quit [Ping timeout: 260 seconds]
Yoric has quit [Ping timeout: 246 seconds]
Playground has quit [Quit: brb peepls n poopls]
Playground has joined #ocaml
ontologiae has joined #ocaml
eni has quit [Quit: Leaving]
avsm has joined #ocaml
Ptival has quit [Quit: Quat]
gnuvince has quit [Ping timeout: 240 seconds]
ontologiae has quit [Ping timeout: 246 seconds]
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
djcoin has quit [Quit: WeeChat 0.3.7]
gnuvince has joined #ocaml
cabbageb1t has joined #ocaml
wmeyer has quit [Remote host closed the connection]