mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
thorat has joined #ocaml
slipstream-- has quit ["leaving"]
buluca has joined #ocaml
slipstream has joined #ocaml
psnively has quit []
bluestorm_ has quit ["Konversation terminated!"]
joshcryer has joined #ocaml
m3ga has left #ocaml []
Riesz has joined #ocaml
thorat has quit [Remote closed the connection]
thorat has joined #ocaml
robyonrails has joined #ocaml
robyonrails has quit [Read error: 110 (Connection timed out)]
thorat has quit ["leaving"]
david_koontz has quit ["Leaving"]
Riesz has quit ["Leaving.."]
m3ga has joined #ocaml
ygrek has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
robyonrails has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
xavierbot has joined #ocaml
ygrek has quit []
love-pingoo has joined #ocaml
munga has quit ["Leaving"]
Mr_Awesome has quit ["time to impregnate a moth"]
ygrek has joined #ocaml
b00t has joined #ocaml
pantsd has joined #ocaml
ygrek has quit [Client Quit]
ygrek has joined #ocaml
<G> rwmjones: I moved your bug around ;)
<rwmjones> G ? which bug
<G> the excludearch
G_ has joined #ocaml
<G_> bleh, power brownout
G has quit [Nick collision from services.]
G_ is now known as G
<rwmjones> ah ok, thanks
<rwmjones> if I get time (big IF) I'll try to forge ahead on the rest of the packages today
bluestorm_ has joined #ocaml
m3ga has joined #ocaml
shawn____ has joined #ocaml
shawn____ is now known as shawn
kniv7s has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
DirkT has joined #ocaml
robyonrails has quit [Success]
Demitar_ has joined #ocaml
Demitar has quit [Read error: 104 (Connection reset by peer)]
leo037 has joined #ocaml
DirkT has quit ["Leaving."]
shawn has quit ["Leaving"]
b00t has quit [Remote closed the connection]
pango has quit [Remote closed the connection]
pango has joined #ocaml
<G> rwmjones: why the heck do your packages depend on ocamlfind-devel?
<G> rwmjones: actually, findlib doesn't honor OCAMLFIND_DESTDIR for ld.conf
smimou has quit ["bli"]
<rwmjones> G hopefully only the ones which need ocamlfind during build ... which package in particular?
<G> expat I noticed it
<rwmjones> ocaml-findlib-devel should be in rawhide now too
<rwmjones> expat requires ocamlfind to build
<rwmjones> see the Makefile
<G> ocamlfind: /usr/lib/ocaml/ld.conf: Permission denied
<G> OCAMLFIND_DESTDIR is set correct, and it installs all the other files
<rwmjones> -rw-r--r-- here
<rwmjones> is it trying to write it or read it?
<G> well, it should be writing to /var/tmp/...
<rwmjones> indeed it should ... have you got the latest ocaml-findlib? Mine is at ocaml-findlib-1.1.2pl1-8
<G> (which is the point of OCAMLFIND_DESTDIR
<rwmjones> and -9 is in rawhide (but there is no functional change)
<G> [njones@ip-98 ~]$ ls -l repo-devel/ | grep findlib
<G> -rw-rw-r-- 1 njones njones 350068 2007-07-13 05:59 ocaml-findlib-1.1.2pl1-9.fc8.i386.rpm
<rwmjones> yup
minciue has joined #ocaml
<rwmjones> that's very odd - not an error I've seen here. My ld.conf contains:
<rwmjones> /usr/lib64/ocaml/stublibs
<rwmjones> /usr/lib64/ocaml
<rwmjones> I wonder actually if you have /stublibs. If that directory didn't exist then
<rwmjones> ocamlfind install might attempt to add the /expat directory to that file
<rwmjones> $ rpm -qf /usr/lib64/ocaml/stublibs
<rwmjones> ocaml-runtime-3.10.0-2
<G> I had stublibs
<rwmjones> strange ... if you can strace it to find out what it's actually trying to do, then send to rjones_at_redhat.com I'll take a look
<rwmjones> strace -f
<G> it's happening in mock, so it's a bit harder, hold it
<rwmjones> you try modifying the spec file so the %install rule (or whichever is failing) is wrapped in an strace
<rwmjones> s/you/you could/
<rwmjones> G, I've just noticed that while ocaml-expat builds for me, it does give this warning during the build:
<rwmjones> ocamlfind: [WARNING] You have installed DLLs but the directory /var/tmp/ocaml-expat-0.9.1-3-root-rjones/usr/lib64/ocaml/stublibs is not mentioned in ld.conf
<rwmjones> obviously the warning is bogus, but I wonder if something about the mock build causes ocamlfind to think it can fix the problem? For instance does mock run the build as root (or some sort of "fake" root)?
<G> fakeroot
<rwmjones> yeah, I bet ocamlfind thinks it's running as root and so attempts to edit the file
<rwmjones> strace will determine if that is the case or not
<G> expat builds in mock
<rwmjones> looking at the findlib code, I think that exporting OCAMLFIND_LDCONF=ignore may fix it
lde has quit [Read error: 110 (Connection timed out)]
lde has joined #ocaml
piggybox has quit [Connection timed out]
<G> rwmjones: ahhh, I think I worked out my mistake
ygrek has quit [Remote closed the connection]
<rwmjones> G, I'm just building that package in mock too
<G> drats
<G> okay, this now builds again, but I've introduced other problems
<rwmjones> what's the change?
<G> I realised I didn't actually create stublibs in /var/tmp
<G> the new problem is rpaths
<rwmjones> yeah, I set QA_RPATHS to get over that warning
<rwmjones> no idea what the real fix is, since rpaths actually (to some extent) make sense there
<G> I'll see if I can fix it when I wake up
<G> rwmjones: if all goes well, I'm going to push ocaml 3.10 to EL-5, doubt I'll be able to with EL-4 though
buluca has joined #ocaml
<rwmjones> ok, great thanks
<G> but that doesn't mean we still can't do ocaml stuff for EL-4
buluca has quit [Read error: 113 (No route to host)]
piggybox has joined #ocaml
buluca has joined #ocaml
shawn has joined #ocaml
kniv7s has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
pango has joined #ocaml
kniv7s has joined #ocaml
boto has joined #ocaml
haelix has quit [Read error: 104 (Connection reset by peer)]
shawn has quit ["This computer has gone to sleep"]
love-pingoo has quit ["méson"]
<leo037> 1;;
<xavierbot> - : int = 1
leo037 has quit ["Leaving"]
<Smerdyakov> NICE
<rwmjones> Smerdyakov, don't you mean
<rwmjones> `NICE;;
<xavierbot> - : [> `NICE ] = `NICE
<rwmjones> ok, I have a question
<Smerdyakov> ignore `POLYMORPHIC_VARIANTS;;
<xavierbot> - : unit = ()
<rwmjones> I want to implement read-only and read-write handles, which I can do through polymorphic variants, but I can't find the postings about it right now
<rwmjones> but it's something like:
<rwmjones> type t = [`R] connection ;;
<xavierbot> Characters 15-25:
<xavierbot> type t = [`R] connection ;;
<xavierbot> ^^^^^^^^^^
<xavierbot> Unbound type constructor connection
<rwmjones> no, maybe
<Smerdyakov> Why does this need polymorphic variants?
<rwmjones> type r = [`R] ;;
<xavierbot> type r = [ `R ]
<rwmjones> type rw = [`R|`W];;
<xavierbot> type rw = [ `R | `W ]
<rwmjones> and then
<rwmjones> type 'a connection;;
<xavierbot> type 'a connection
<rwmjones> type ro_connection = r connection;;
<xavierbot> type ro_connection = r connection
<rwmjones> type rw_connection = rw connection;;
<xavierbot> type rw_connection = rw connection
<Smerdyakov> You can do this more nicely with phantom types.
<rwmjones> yes, exactly what I was looking for, thanks
<Smerdyakov> See the SML Basis' Socket structure.
<rwmjones> have you got an ocaml example?
<Smerdyakov> No, but I expect this is quite understandable: http://www.standardml.org/Basis/socket.html
<Smerdyakov> It's very close to OCaml syntax.
<Smerdyakov> I just don't like polymorphic variants.
<Smerdyakov> They're used like propositions here, with none of the awful runtime dynamic tagging stuff, but I'd rather not see them. :)
gaja has joined #ocaml
robyonrails has joined #ocaml
shawn has joined #ocaml
psnively has joined #ocaml
shawn has quit [Read error: 110 (Connection timed out)]
shawn has joined #ocaml
kniv7s has quit [Connection timed out]
noteventime has joined #ocaml
Lena has joined #ocaml
descender has quit [Remote closed the connection]
shawn has quit [Read error: 104 (Connection reset by peer)]
pango has quit [Remote closed the connection]
shawn has joined #ocaml
pango has joined #ocaml
test1234 has joined #ocaml
buluca has quit [Read error: 110 (Connection timed out)]
shawn has quit [Read error: 104 (Connection reset by peer)]
david_koontz has joined #ocaml
shawn has joined #ocaml
vorago has quit [Read error: 110 (Connection timed out)]
leo037 has joined #ocaml
sepv has joined #ocaml
sepv has left #ocaml []
zmdkrbou_ has joined #ocaml
david_koontz has quit ["Leaving"]
slipstream-- has joined #ocaml
zmdkrbou has quit [Read error: 113 (No route to host)]
slipstream has quit [Read error: 110 (Connection timed out)]
descender has joined #ocaml
david_koontz has joined #ocaml
minciue has quit ["Ex-Chat"]
Hadaka has quit [anthony.freenode.net irc.freenode.net]
Hadaka has joined #ocaml
Hadaka has quit [anthony.freenode.net irc.freenode.net]
Hadaka has joined #ocaml
piggybox has quit [Read error: 104 (Connection reset by peer)]
Mr_Awesome has joined #ocaml
robyonrails has quit [Connection timed out]
robyonrails has joined #ocaml
david_koontz has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has quit ["time to impregnate a moth"]
Demitar_ is now known as Demitar
leo037 has quit ["la maj de OOo est top au niveau des icones !"]
robyonrails has quit [Connection timed out]
david_koontz has joined #ocaml
psnively has quit []
buluca has joined #ocaml
Lena has quit ["Leaving."]