Reaganomicon has quit [Remote host closed the connection]
drunK has quit [Remote host closed the connection]
Associat0r has joined #ocaml
Associat0r has quit [Quit: Associat0r]
ulfdoz has quit [Read error: Operation timed out]
dnolen has quit [Quit: dnolen]
bobry1 has joined #ocaml
arubin has quit [Quit: arubin]
ankit9 has joined #ocaml
ygrek has joined #ocaml
explodus has quit [Ping timeout: 268 seconds]
Cyanure has joined #ocaml
explodus has joined #ocaml
waern has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
ikaros has joined #ocaml
rossberg has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
larhat has joined #ocaml
sebz has joined #ocaml
Associat0r has quit [Quit: Associat0r]
lopex has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
sebz has joined #ocaml
<zorun>
Mmh, I get a warning on the forge.ocamlcore.org certificate
<zorun>
WARNING: cannot verify forge.ocamlcore.org's certificate, issued by `/C=US/O=Equifax/OU=Equifax Secure Certificate Authority': Issued certificate has expired.
<adrien>
indeed, expired today
<raphael-p>
same here
* adrien
starts running all over the place, shouting and crying ='(
<adrien>
gildor: ^ ^
_andre has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
lamawithonel__ has quit [Remote host closed the connection]
sebz has quit [Quit: Computer has gone to sleep.]
Reaganomicon has joined #ocaml
hyperboreean has quit [Remote host closed the connection]
BiDOrD has quit [Ping timeout: 258 seconds]
metasyntax|work has joined #ocaml
BiDOrD has joined #ocaml
ttamttam has joined #ocaml
hyperboreean has joined #ocaml
dnolen has joined #ocaml
<thelema>
gildor: ocamlforge's ssl cert has expired
sumanah has joined #ocaml
<sumanah>
I'm visiting from #mediawiki where we write MediaWiki, the software Wikipedia runs on. We would love some assistance on code review on our Math system, which uses OCaml and which very few of our developers know. Anyone interested in taking a look? http://www.mediawiki.org/wiki/Special:Code/MediaWiki/tag/math
<adrien>
so this is a list of pending patches?
DimitryKakadu has joined #ocaml
<thelema>
sumanah: we should make comments on the commit pages?
<thelema>
sumanah: I can't do anything about r88030
<DimitryKakadu>
I'm still working on lablqt and added a few examples to proof that showing widget is possible =)
<DimitryKakadu>
Now my question is: if I incapsulate objects received from C++ as abstract type 'a obj, then I should check for !=NULL in all places where I create OCaml with this C++ value?
<flux>
I would say 'yes', and throw an exception in those cases. alternatively you can return 'a obj option.
<flux>
(None that is)
<thelema>
DimitryKakadu: if that value can be null, then yes. The alternative is to use an option type
<DimitryKakadu>
ok
dnolen has quit [Quit: dnolen]
milosn has joined #ocaml
zsparks_ has joined #ocaml
lopex has quit []
zsparks_ is now known as zsporks
bobry1 has quit [Quit: Leaving.]
ttamttam has left #ocaml []
<gildor>
thelema, zorun, adrien: I am aware of the expired SSL cert, but have no time to deal with that until next week
<thelema>
gildor: :) I didn't realize others had already reported it. no worries.
zsporks has quit [Quit: Lost terminal]
sebz has joined #ocaml
Modius has quit [Read error: Connection reset by peer]
zsparks has quit [Ping timeout: 268 seconds]
sebz has quit [Quit: Computer has gone to sleep.]
sebz has joined #ocaml
larhat has quit [Quit: Leaving.]
ulfdoz has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
sebz has joined #ocaml
joewilliams_away is now known as joewilliams
mdelaney_ has quit [Quit: mdelaney_]
mdelaney has joined #ocaml
mdelaney has quit [Ping timeout: 245 seconds]
mdelaney has joined #ocaml
zsparks has joined #ocaml
zsparks is now known as zsporks
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 245 seconds]
ulfdoz_ is now known as ulfdoz
zsparks has joined #ocaml
zsporks has quit [Quit: Lost terminal]
sebz has quit [Quit: Computer has gone to sleep.]
Anarchos has joined #ocaml
mdelaney has quit [Quit: mdelaney]
mdelaney_ has joined #ocaml
Derander has joined #ocaml
mdelaney_ is now known as mdelaney
sebz has joined #ocaml
blinky- has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
lopex has joined #ocaml
dgbaley27 has joined #ocaml
<dgbaley27>
Hi, I'm very new to ocaml. I'm having trouble with a while loop: while (foo bool s) do let s = (bar s) done
<dgbaley27>
I keep getting errors on the done.
<dgbaley27>
I'm trying to put semicolons all over and use parenthesis...
<thelema>
dgbaley27: let s = bar s in ...
<DimitryKakadu>
let s = ... in ?
<thelema>
and this won't "modify" the value of s in (foo bool s)
<thelema>
dgbaley27: let s = ref ... in while foo bool !s do s := bar s; done
<thelema>
err, s := bar !s; done
<dgbaley27>
You mean the body of the while loop won't modify the s that's used in the test the way I have it?
<thelema>
dgbaley27: correct.
<dgbaley27>
I don't think I'm supposed to be using references.
<adrien>
recursion?
<thelema>
dgbaley27: the scope of a let binding within the while loop is just the body of the while loop
<dgbaley27>
adrien: ah, ok, probably a while loop is not the correct thing.
<dgbaley27>
And in general, what does the "in" do after a let?
<thelema>
let s = 5 in (* s=5 *) ( let s = 6 in (* s=6 *) () ); (* s=5 *)
<thelema>
dgbaley27: it doesn't do anything - it just marks the end of the expression whose value is bound to the given symbol
<adrien>
and what follows the "in" can see the value that has been defined
<thelema>
dgbaley27: `let x = exp in` creates a new scope where x is bound to exp.
<dgbaley27>
thanks
ttamttam has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
dgbaley27 has left #ocaml []
sebz has joined #ocaml
BiDOrD has quit [Read error: Operation timed out]
Associat0r has quit [Quit: Associat0r]
BiDOrD has joined #ocaml
<thelema>
I have a large collection of int BatVect.t (sequences of ints) that I need to make unique. Patricia trees?
<DimitryKakadu>
Anarchos: also famous as suffix trees
Cyanure has quit [Ping timeout: 260 seconds]
<Anarchos>
thelema i don't understand the unique requirement you need
Cyanure has joined #ocaml
<thelema>
I have a list of rules with decisions. I've made a decision tree for the entire collection, with each leaf indicating what rules (in order) match that part of the input space
<thelema>
There are many leaves that have the same sequence of rules - I only need each sequence once for what follows
<thelema>
I tried to use a Set, and its memory requirements were ugly
<bitbckt>
sounds like a radix tree to me.
<thelema>
well, one interesting property of the sequences is that they're all in strictly increasing order
<Anarchos>
thelema i am too tired to give you a good answer ... good night
<thelema>
they could be viewed as sets of rule-indexes
<thelema>
Anarchos: 'nite
<Anarchos>
thelema tomorrow i will debug my first order proof verifier (with axiom schema)
<thelema>
a radix tree needs a radix - it seems a bit funny to have the radix = the number of rules
* bitbckt
shrugs
<bitbckt>
if it works, it works.
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
Cyanure has quit [Ping timeout: 260 seconds]
_andre has quit [Quit: leaving]
ulfdoz has quit [Ping timeout: 260 seconds]
DimitryKakadu has quit [Quit: Konversation terminated!]
ttamttam has quit [Quit: Leaving.]
BiDOrD has quit [Read error: Operation timed out]
BiDOrD has joined #ocaml
<thelema>
given an ocaml int and a second int with 1's in binary positions to keep, produce a new int with those bits (right-justified)
<thelema>
i.e. 0b111000111000 keep 0b101011110000 => 0b000000110011
sebz has quit [Quit: Computer has gone to sleep.]
<ousado>
thelema: I don't understand that sentence - 'binary positions to keep' - what do you mean by that?