00:00 <CiscoKid> I'm doing a pattern match on assignment and I'm getting an error about the match not being exhaustive. I know it will be (list was already checked), but is there a better way to do this:

00:00 <CiscoKid> let command :: others = Array.to_list Sys.argv in

00:00 <CiscoKid> argv is ``cmd dest src [src...]''

00:22 <platypus> what does this : <> mean in ocaml ?

00:22 <CiscoKid> not equal

00:23 <CiscoKid> val (<>) : 'a -> 'a -> bool

00:23 <CiscoKid> Negation of Pervasives.(=).

00:23 <platypus> right

00:23 <platypus> thanks mate

00:23 <CiscoKid> np

00:38 <Riastradh> CiscoKid, you could do something like this:

00:38 <Riastradh> let command = Sys.argv.(0) in

00:38 <Riastradh> let arg n = Sys.argv.(n+1) in ...

00:39 <Riastradh> which would allow for convenient argument extraction, although inconvenient manipulation of the argument vector.

00:40 <Riastradh> If you want to use it as a list, you should go ahead and convert it to a list.

00:40 <CiscoKid> I did, but the assignment match was complaining. Is it possible to do more than one assignment based on pattern matching?

00:40 <Riastradh> 'The assignment match was complaining?'

00:41 <Riastradh> Is it an _error_ or just a _warning_?

00:41 <Riastradh> If it's just a warning, ignore it.

00:42 <CiscoKid> It's a warning. I'd rather it not show up. :)

00:42 <Riastradh> Don't worry about it. It's harmless, since Sys.argv will never be empty.

00:44 <CiscoKid> Right, and in my case, it will always have enough stuff. It's more academic at this point. It's warning about a pattern match. Is it possible to express the assignment in such a way that I can avoid the warning? It let me do that style of assignment (thing::rest = something), but I'm not sure how I'd have a case for an empty list there.

00:46 <CiscoKid> I'm still completely amazed at the performance of this thing, though. Using my cdb API, I copied a reasonably large cdb (about 350MB) in 1:14. That's reading every key value pair and writing them to another file, indexing, and writing out the index. cp took 1:06 after my program had pulled it into cache.

00:46 <CiscoKid> ...and the best part, this is pretty much the entire code (the job of the program is to concatenate multiple cdbs into a single cdb): List.iter (Cdb.iter (Cdb.add destcdb)) srcs

00:47 <CiscoKid> The rest is argument handling, one line to open destcdb, and one line to close it.

05:41 <nyah> I have a clueless question (coming from a win32 background, I haven't had to deal with this previously) ... I'm using the MinGW standalone release of OCaml 3.0.7 and want to try out the http daemon from http://www.bononia.it/~zack/ocaml-http.en.html

05:42 <nyah> so i'm installing the other libraries that i need to build his stuff

05:42 <nyah> i just got findlib on, after applying a patch for the MinGW version of Ocaml

05:43 <nyah> but does it matter where in my fire hierarchy i built findlib?

05:43 <nyah> should I have put the findlib folder somewhere inside the OCaml lib directory or something?

05:50 <anyone> I am not sure, but I would try that first.

05:51 <nyah> fire = file, sorry :)

05:52 <anyone> Yes I understand.

05:52 <nyah> ;)

05:52 <nyah> i'll give it a shot - thanks :)

07:21 <nyah> hmm ... whatever i do w/findlib, only the browser seems to work

07:22 <nyah> ocamlfind list, forex doesn't do anything at all

07:23 <nyah> the patch to make findlib compile work for mingw ocaml is for findlib 0.8.1, an old version, but the release notes suggest that list and the other commands should still work

07:58 <Snark> slt

07:58 <bk_> lut

16:53 <buggs> hmm those types with polymorphic mehtods is killing me

16:54 <buggs> method foldl : 'a. ('a -> #node -> 'a) -> 'a -> 'a -> 'a =

16:54 <buggs> fun f accu n ->

16:54 <buggs> List.fold_left

16:54 <buggs> (fun a (s,n) -> n#foldl f (f a n) n)

16:54 <buggs> accu self#transitions

16:54 <buggs> his method has type ('a -> node -> 'a) -> 'a -> 'a -> 'a

16:54 <buggs> which is less general than 'b. ('b -> node -> 'b) -> 'b -> 'b -> 'b

16:55 <buggs> i read the problem could be with named anonymous variables only

16:55 <buggs> but i don't see where i have to use _ instead of 'a

19:25 <buggs> Fatal error: exception Assert_failure("typing/ctype.ml", 250, 30)

19:25 <Snark> good night

19:25 <buggs> this a ocaml bug ?

19:26 <bk_> :shrug:

23:37 <bk_> ocaml is a great language, it only has one problem, its practically non-existant community

23:37 <bk_> g'nite

23:59 <buggs> the object type system sucks imho