rwmjones changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.1 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
hkBst has quit [Connection timed out]
bluestorm has quit [Remote closed the connection]
m3ga has quit ["disappearing into the sunset"]
Snrrrub__ has joined #ocaml
thelema has joined #ocaml
Snrrrub has quit [Read error: 110 (Connection timed out)]
marmottine has quit [Remote closed the connection]
seafood_ has joined #ocaml
bzzbzz has joined #ocaml
whycode has joined #ocaml
whycode has quit ["Leaving"]
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood_ has joined #ocaml
<ozzloy> "It has no method load" what does this mean?
<thelema> ozzloy: you're trying to do something foo#load?
<ozzloy> thelema: no, i don't even know what that syntax means
<ozzloy> thelema: but the problem went away after i put a ';;'
<ozzloy> i have a "misc.ml" and that error came up when i tried to load it in the ocaml shell
<ozzloy> when i did: # #use "misc.ml";;
<thelema> good job, I guess.
<ozzloy> what does it mean?
<ozzloy> what is foo#load?
<ozzloy> would foo be an object, load be a method of that object?
<thelema> exactly. # in ocaml works like . in.. well, about everything else
<ozzloy> heh
middayc_ has joined #ocaml
whycode has joined #ocaml
middayc has quit [Read error: 110 (Connection timed out)]
middayc_ has quit []
cheatersrealm has left #ocaml []
Snrrrub__ has quit [Read error: 110 (Connection timed out)]
jderque has joined #ocaml
jonafan has joined #ocaml
bzzbzz has quit [calvino.freenode.net irc.freenode.net]
jonathanv has quit [calvino.freenode.net irc.freenode.net]
ecc has quit [calvino.freenode.net irc.freenode.net]
gim has quit [calvino.freenode.net irc.freenode.net]
ecc has joined #ocaml
bzzbzz has joined #ocaml
netx has quit [Remote closed the connection]
netx has joined #ocaml
<kig> how do i implement touch in ocaml?
<kig> aha, utime
bluestorm has joined #ocaml
Snark has joined #ocaml
Morphous has joined #ocaml
ttamttam has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
bongy has joined #ocaml
Tetsuo has joined #ocaml
zenhacker-rouan has joined #ocaml
l_a_m has joined #ocaml
bongy has quit ["Leaving"]
marmottine has joined #ocaml
Morphous is now known as Amorphous
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood_ has joined #ocaml
Yoric[DT] has joined #ocaml
schme has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
rwmjones has quit [Read error: 104 (Connection reset by peer)]
filp has joined #ocaml
<Yoric[DT]> hi
marmottine has quit [Excess Flood]
rwmjones has joined #ocaml
marmottine has joined #ocaml
bongy has joined #ocaml
seafood_ has quit []
hkBst has quit [Read error: 104 (Connection reset by peer)]
Yoric[DT] has quit ["Ex-Chat"]
hkBst has joined #ocaml
ita has joined #ocaml
hkBst_ has joined #ocaml
hkBst_ has quit [Connection reset by peer]
hkBst has quit [Connection reset by peer]
schme has joined #ocaml
hkBst_ has joined #ocaml
hkBst_ has quit [Read error: 104 (Connection reset by peer)]
hkBst_ has joined #ocaml
MarSch_ has joined #ocaml
MarSch_ has quit [Read error: 104 (Connection reset by peer)]
MarSch_ has joined #ocaml
hkBst_ has quit [Read error: 104 (Connection reset by peer)]
zenhacker-rouan is now known as zenhacker
hkBst_ has joined #ocaml
MarSch_ has quit [Read error: 104 (Connection reset by peer)]
hkBst_ has quit [Read error: 104 (Connection reset by peer)]
hkBst_ has joined #ocaml
hkBst_ has quit [Read error: 104 (Connection reset by peer)]
hkBst_ has joined #ocaml
bongy has quit ["Leaving"]
seafood_ has joined #ocaml
det has joined #ocaml
hkBst_ has quit [Read error: 104 (Connection reset by peer)]
hkBst_ has joined #ocaml
jderque has quit [Read error: 113 (No route to host)]
seafood_ has quit []
ttamttam has left #ocaml []
TaXules has quit ["coupure du ternet"]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
jderque has joined #ocaml
bongy has joined #ocaml
bongy has quit ["Leaving"]
schme has quit [Read error: 110 (Connection timed out)]
Snark has quit [Read error: 113 (No route to host)]
bongy has joined #ocaml
bongy has quit ["Leaving"]
whycode has left #ocaml []
jderque has quit [Read error: 113 (No route to host)]
cheatersrealm has joined #ocaml
hkBst_ is now known as hkBst
<cheatersrealm> I am trying to use the OcaIDE plugin with eclipse. I have it working, and I can F6 to run things in the toplevel. However, the code outline and the mouseover to get typing information simply does not work. The mouseover gives me the text <null file>.
rjones has joined #ocaml
<bluestorm> hm
<bluestorm> do you use ocaml 3.10 ?
<bluestorm> iirc the typing information wasn't available on the ocaml side before 3.10
<cheatersrealm> arg,
<cheatersrealm> 3.09.2
gim has joined #ocaml
<cheatersrealm> thanks
pango has quit [Remote closed the connection]
<cheatersrealm> bluestorm: so with 3.10.1 it still gives me the same thing
<thelema> cheatersrealm: do you have any .annot files in your source tree?
<cheatersrealm> thelema: a bunch in ./_build/ocamlbuild/
<thelema> those hold the info that ocaide would use to show typing information on mouseover
<cheatersrealm> ok
<thelema> maybe it's not finding them properly
<cheatersrealm> when it's building?
<thelema> (disclaimer: I don't use ocaide, I only tried it once)
<thelema> it generates them on compilation (-dtypes)
<cheatersrealm> arg.
<cheatersrealm> I'm stumped here.
jderque has joined #ocaml
mwc has quit ["Leaving"]
Yoric[DT] has joined #ocaml
<Yoric[DT]> hi
Snark has joined #ocaml
TaXules has joined #ocaml
hkBst_ has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
Snrrrub__ has joined #ocaml
Snrrrub__ is now known as Snrrrub
MarSch_ has joined #ocaml
hkBst_ has quit [Connection reset by peer]
paulc has joined #ocaml
<paulc> hello
<thelema> hi paulc
<paulc> I am looking for a lazy list.. but I don't see one in the standard lib
<paulc> or am i missing it?
<thelema> not in the std lib exactly. Streams usually suffice
<thelema> otherwise you'll have to grab a 3rd party implementation
<paulc> do you know of a good third party implementation?
<thelema> I've used http://sourceforge.net/projects/ocnae/ before
<bluestorm> paulc: there isn't
<bluestorm> in the stdlib
<bluestorm> Yoric[DT] has done a implementation
<bluestorm> +n
<bluestorm> and there is one in camlp5, iir
<bluestorm> c
<Yoric[DT]> (with the appropriate syntax, if needed)
<paulc> okay
<paulc> bluestorm, that looks nice
mwc has joined #ocaml
<Yoric[DT]> (or the one indicated by thelema at the address given by thelema, of course :))
<bluestorm> hm
<paulc> thanks
<bluestorm> Yoric[DT]: you really should provide LList as a separate package
<Yoric[DT]> Yeah, I need to redesign stuff before I release version 0.2 .
<Yoric[DT]> I really hope that this ocamlbuild + repositories is going to take off in the near future.
<Yoric[DT]> It would be a great help.
<paulc> ocamlbuild + repositories ?
* thelema has hope for improving the stdlib
<Yoric[DT]> There's a discussion on the mailing-list regarding the next generation of package managements or equivalent.
<paulc> hm
<flux> ng after godi or for godi?
<Yoric[DT]> That's one of the questions :)
<flux> godi has one distinct advantage over other suggestions: it exists
<Yoric[DT]> sure
<bluestorm> hm
<Yoric[DT]> The "ng after godi" approach would extend ocamlbuild to give it the ability to depend on libraries specified as repository sources.
<Yoric[DT]> I'd love to be able to use this kind of stuff.
<Yoric[DT]> Of course, I have nowhere enough time to implement this myself.
<bluestorm> hm
<bluestorm> given the current state of the ocaml libs in the hump
<bluestorm> (ie. 50 of broken links)
<bluestorm> i'm not sure depending directly on an URL is a such hot idea
<bluestorm> s/50/50%/
<Yoric[DT]> I wondered about that.
<Yoric[DT]> Most likely, it makes sense only if
<Yoric[DT]> a. you own the URL and you're working on an internal project
<thelema> There's hope that projects hosted on camlcore.org will not die like that
<Yoric[DT]> b. the URL is on camlcore.org .
<thelema> err, not camlcore...
<Yoric[DT]> What's the name ?
<Yoric[DT]> Oh, yeah, ocamlcore.org .
<thelema> yes.
<bluestorm> « m. Your Content does not contain content that discriminates, incites harassment or advocates harassment of any group or individual. »
<bluestorm> asking INRIA to add whatever-shiny-feature on ocamlcore is not allowed :-'
<bluestorm> « f. attempting to impersonate another user or person; »
<bluestorm> and xavierbot is not welcome :]
<thelema> inria != ocamlcore
<bluestorm> of course
<bluestorm> hm
<bluestorm> my sentence was misleading
<bluestorm> and not very interesting anyway; forget it
schme has joined #ocaml
<thelema> I understand france has interesting laws about "hate groups"
<thelema> http://news.bbc.co.uk/2/hi/europe/760782.stm <- "Existing French law prohibits the selling or display of anything that incites racism."
rjones has quit [Read error: 110 (Connection timed out)]
MarSch_ is now known as hkBst
<Yoric[DT]> thelema: indeed.
zbrown has joined #ocaml
<zbrown> What are some good resources for learning OCaml?
<zbrown> thelema: thanks :)
<Yoric[DT]> Actually, "developing applications with OCaml" is usually better.
<hcarty> http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf -- This is a nice one as well
<zbrown> :) either way
<Smerdyakov> I think my link is to the latest version of what hcarty linked.
Snark has quit ["Ex-Chat"]
<zbrown> Smerdyakov: look to be the same
filp has quit [Read error: 110 (Connection timed out)]
filp has joined #ocaml
Snrrrub has quit [Read error: 110 (Connection timed out)]
hkBst_ has joined #ocaml
hkBst has quit [Read error: 104 (Connection reset by peer)]
pango has joined #ocaml
MarSch_ has joined #ocaml
paulc has quit [Read error: 110 (Connection timed out)]
MarSch_ has quit [Connection reset by peer]
MarSch_ has joined #ocaml
ygrek has joined #ocaml
MarSch_ has quit [Remote closed the connection]
Anarchos has joined #ocaml
<Anarchos> i finally get the new makefiles of ocaml running on beos
hkBst_ has quit [Read error: 104 (Connection reset by peer)]
<thelema> patch?
MarSch_ has joined #ocaml
olleolleolle has joined #ocaml
<Anarchos> thelema no i didn't finished yet
<Anarchos> and i don't think the ocaml team is really interesting in hacking makefiles for beos
<bluestorm> let them decide that :p
<Yoric[DT]> Well, they're interested in getting help wrt ports.
hkBst_ has joined #ocaml
<Yoric[DT]> They mentioned it about the Windows port, but still.
<Anarchos> i had some headaches when looking for strange bug in the makefile : there is kind of factorization in the makefiles in otherlibs
MarSch_ has quit [Connection reset by peer]
<Anarchos> and now the syntax CLIBNAME ?= XXXX is used, which is translated in the make database as CLIBNAME := XXX, raising a multiple patterns exception due to the ":=" instead of "="
<flux> anarchos, wouldn't it be easier to port gmake to beos (which I guess has already been done)?
MarSch_ has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
thermoplyae has joined #ocaml
<Anarchos> flux i don't know which make i have
<flux> well, if it has issues with make files, it probably isn't gmake..
<Anarchos> it is a 'gnu make'
<flux> hm, ok
<flux> gmake == gnu make
hkBst_ has quit [Read error: 104 (Connection reset by peer)]
<flux> strange
<flux> and not a tool old version either?
<flux> s/tool/too/
olleolleolle has quit []
<Anarchos> flux : version 3.77
<flux> not ancient
<Anarchos> well i can finally try a bootstrap ;)
rwmjones has quit [Remote closed the connection]
rwmjones has joined #ocaml
theneb has joined #ocaml
<theneb> Hi all, trying to install xml-light, however it's not found by ocamlfind, is it now required that scripts have to use 'ocamlfind install' to be registered?
<flux> technically not, I think
<flux> there needs to be a META file for the module though
<flux> does the file exist?
<flux> it might be that it installs META only when you install it with ocamlfind install
<theneb> extension for meta files?
<theneb> There's META.in that exists
<flux> META.in is a file that the configure script should convert to META-file
<flux> there is no extension
<flux> META.in is likely easily converted into a META file even manually
<theneb> okay, well no configure is shipped with xml-light, so probably the issue
<flux> strange, .in-files but no configure
<theneb> Want a link to the resource?
<theneb> aye
<theneb> using either that or the cvs
<flux> that zip doesn't have a META file at all..
<theneb> They seem to have added it to the cvs
<theneb> but no configure
<flux> perhaps it's still work in progress
<flux> you can easily modify the META file yourself and copy it to its proper location
<theneb> where should they exist?
<flux> in the same directory where the rest of the stuff goes
<flux> hm, hold on a moment
<flux> apparently it installs them directly to the lib directory
<flux> maybe this is better: ocamlfind install xml-light META xml-light.cma xml-light.a xml-light.cmxa
<flux> it will create a directory xml-light to the directory pointed by ocamlc -where
<flux> btw, I've recently switched to use Godi (an Ocaml distribution with package management), it might ease these kinds of things; it has for example xml-light pre-packaged
<smimou> theneb: you might be interested in godi which automates the compilation and installation of caml libs
<flux> (it's a source distribution, so you'll still compile it, but it's automated)
<flux> smimou, :-)
<smimou> heh
<theneb> lo smimou
<smimou> hi!
<theneb> Well it's only xml-light that's currently breaking my compiles of savonet :P
Tetsuo has quit ["Leaving"]
__suri has joined #ocaml
kelaouchi has quit ["leaving"]
<Anarchos> i reached a fixpoint when bootstrapping on beos !!!
<Yoric[DT]> \o/
zenhacker has quit [Remote closed the connection]
rwmjones has quit ["Closed connection"]
<mwc> Proof you've been coding too long
<mwc> you apply merge sort to actual stacks of objects
<bluestorm> :D
<bluestorm> mwc: i think, on little samples, insert sort is actually the best
<mwc> this is a large stack of student assignments
<bluestorm> (wich those little human heuristics that are so nice)
<bluestorm> hm
<mwc> I sort them alphabetically before I enter the grades online
<mwc> I've already sorted each pair of papers
<bluestorm> "then you shouldn't process them yourself" was my first thought :-'
<mwc> now I'm sorting adjacent pairs into sorted quads
<mwc> bluestorm, alas, I have no undergrad marker to pawn this off on
<mwc> as a grad student, I'm sort of the bottom of the totem pole
<bluestorm> Your assignments were quite bad, but i sorted them in n log n !
* mwc sorts the quads into octs
<mwc> octs into hexidecs
<mwc> and now to perform the last merge
<cheatersrealm> owned.
<bluestorm> treduodecs ?
<mwc> In this case, octicosans
<mwc> as for insertion sorting, I find that since my desk space is limited, in practice I deal with collections of papers as sequential-access stacks
<mwc> so random access is not justified, but O(1) insertion once i've seeked to a point is
<bluestorm> hm
<bluestorm> so you could use a dichotomic insertion
pango has quit [Remote closed the connection]
pango has joined #ocaml
ygrek has quit [Remote closed the connection]
<cheatersrealm> so say I have two lists
<cheatersrealm> is there an easy way to iterate over both of them without using recursion?
<bluestorm> recursion is the standard way on lists
<cheatersrealm> ok
<bluestorm> but iter2 may be what you're looking for
<bluestorm> val iter2 : ('a -> 'b -> unit) -> 'a list -> 'b list -> unit
<bluestorm> ( Raise Invalid_argument if the two lists have different lengths. )
<cheatersrealm> hrm
<cheatersrealm> I can't use stuff like that yet (it's for a class)
<cheatersrealm> it just seemed verbose and lacking style for what I've done.
<bluestorm> cheatersrealm: generally speaking, lists are a recursive datatype
<bluestorm> so the list functions _are_ recursive
<cheatersrealm> bluestorm: right, perhaps I am just being too verbose in my code
<cheatersrealm> let me see what I can do to minimize that
<bluestorm> hm
<bluestorm> could you paste it somewhere ?
<bluestorm> ( http://pastebin.be for example )
<cheatersrealm> oh, definately my fault
<cheatersrealm> bluestorm: mind if I query you the pastebin number?
<bluestorm> i don't
<bluestorm> but hm
<bluestorm> you shouldn't be ashamed of your code :D
<cheatersrealm> it's not that I'm ashamed
<bluestorm> afraid of lurking teachers ? :-'
<cheatersrealm> it's that it's for a class, and I don't know if other classmates are here
<cheatersrealm> I doubt the teacher is lurking
<cheatersrealm> besides, I'm new at ocaml, so the code is going to be ugly
<cheatersrealm> yeah so what exactly does | do?
<hcarty> cheatersrealm: Ugly code is ok... it's (often) part of learning a language
<cheatersrealm> exactly
mordaunt has joined #ocaml
<thelema> cheatersrealm: use a while loop and two ref bindings to keep track of the remainder to process?
<bluestorm> thelema: x:
<cheatersrealm> thelema: actually recursion isn't too bad once I realized that I was putting too much verbosity into the code
<thelema> let l1 = ref list1 and l2 = ref list2 in while (l1 and l2 aren't empty) ... l1 := List.tl l1; ...
* thelema goes away
thelema is now known as thelema|away
<bluestorm> could be acceptable with a let rec while' pred f = if not pred () then (f (); while' pred f) :-'
bongy has joined #ocaml
bongy has quit [Read error: 104 (Connection reset by peer)]
<Smerdyakov> thelema|away, what about it?
<Smerdyakov> thelema|away, you found the class?
<Smerdyakov> (That cheatersrealm is in)
<cheatersrealm> thelema|away: haha that's the one
<Smerdyakov> cheatersrealm, are you allowed to show people on the Internet your code to get help on homework?
<cheatersrealm> dunno, I wasn't really asking for help on the question so much as learning about the ocaml language
<cheatersrealm> so I'm guessing it's allowed
<cheatersrealm> like, I had solved the problem, but it was ugly code
<Smerdyakov> I've known programming classes that would disallow even that.
<bluestorm> hm
<bluestorm> what's the point in putting strict rules on the way you do your homeworks ?
<bluestorm> if you do them seriously, you'll understand the course better, and if you cheat, you'll go down eventually
<Smerdyakov> Various parties depend on the accuracy of class grades to evaluate the competence of students.
<cheatersrealm> but this assignment is given with the spirit of learning the language
<Smerdyakov> If universities let students cheat their way through degrees, then their degrees become devalued.
<cheatersrealm> if you look at the set of things to write, they're not actually useful at all
<cheatersrealm> later in the class is the stuff that's useful
<Smerdyakov> cheatersrealm, I don't see how lack of usefulness of a homework assignment implies that it's OK to cheat. :P
<cheatersrealm> I'm saying that going in here doesn't violate the spirit of the assignment
<bluestorm> Smerdyakov: are degrees accorded on the basis of homework duties ?
<cheatersrealm> heh
<bluestorm> (i'm very ignorant of the education in the states)
<Smerdyakov> bluestorm, they are where I went to school.
jlouis_ has joined #ocaml
<bluestorm> that's strange
<hcarty> bluestorm: It varies from school to school and department to departmnet
<hcarty> s/departmnet/department/
<Smerdyakov> cheatersrealm, right, but I think that showing anyone on the Internet your code violates the letter of the rules, for a good number of classes.
<cheatersrealm> maybe it does
<hcarty> Some base grades only on exams, others only on HW
<bluestorm> so, students in the same class can't for example discuss their homework together ?
<Smerdyakov> bluestorm, it varies. Usually it's OK to discuss basic ideas but not exact implementations.
<cheatersrealm> bluestorm: depends on the class & the assignment
<cheatersrealm> either way, this is a learn the language assignment, and I'm trying to learn the language so my code doesn't look like crap
<cheatersrealm> because ocaml is good at allowing code that is understandable, but also allowing code that is confusing and a mess
<Smerdyakov> I don't see the property of "being a learn the language assignment" as granting exceptions to anti-cheating policies.
l_a_m has quit [Remote closed the connection]
bluestorm has quit ["Konversation terminated!"]
jderque has quit [Read error: 113 (No route to host)]
jlouis has quit [Read error: 110 (Connection timed out)]
<cheatersrealm> either way, the code didn't change nay
<cheatersrealm> just the syntax of the stuff
jlouis has joined #ocaml
marmottine has quit ["Quitte"]
jlouis_ has quit [Read error: 110 (Connection timed out)]
cheatersrealm has quit ["leaving"]
Jedai has joined #ocaml
hsuh has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
seafood_ has joined #ocaml
rwmjones has joined #ocaml
Torment has quit [Read error: 110 (Connection timed out)]
Anarchos has quit ["Vision[0.8.5-0418]: i've been blurred!"]
hsuh has quit [Remote closed the connection]
seafood_ has quit [Read error: 110 (Connection timed out)]
MarSch_ has quit ["Konversation terminated!"]
rwmjones has quit ["Closed connection"]
theneb has left #ocaml []