fraggle_ has quit [Read error: Connection timed out]
lggr has joined #ocaml
lggr has quit [Ping timeout: 264 seconds]
lggr has joined #ocaml
ontologiae has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
pngl has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
ulfdoz_ has joined #ocaml
ontologiae has quit [Ping timeout: 268 seconds]
lggr has quit [Ping timeout: 245 seconds]
ulfdoz has quit [Ping timeout: 264 seconds]
ulfdoz_ is now known as ulfdoz
lggr has joined #ocaml
lggr has quit [Ping timeout: 264 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
madroach has quit [Ping timeout: 265 seconds]
lggr has joined #ocaml
madroach has joined #ocaml
avsm has joined #ocaml
lggr has quit [Ping timeout: 264 seconds]
lggr has joined #ocaml
Yoric has quit [Ping timeout: 260 seconds]
lggr has quit [Ping timeout: 256 seconds]
avsm has quit [Quit: Leaving.]
lggr has joined #ocaml
avsm has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
avsm has quit [Quit: Leaving.]
BiDOrD_ has joined #ocaml
lggr has joined #ocaml
BiDOrD has quit [Ping timeout: 245 seconds]
fraggle_ has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 264 seconds]
lggr has joined #ocaml
<thelema>
hcarty: on bounded...
<thelema>
hcarty: why bounding_of_ord? specifically, why the two sets of bounds: default_low/high and min/max?
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
<hcarty>
thelema: default_(low|high) is the default return value - None or Some x. min/max are the bounds to apply.
lggr has quit [Ping timeout: 256 seconds]
<hcarty>
thelema: For example, you may want to return nan for our of bounds float values, or +/- infinity, rather the saturating or returning None/Some (min|max)
lggr has joined #ocaml
<hcarty>
thelema: I fixed the header comment in batBounded.mli, thanks for catching the mistake
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
sepp2k has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
err404 has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
pngl has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 264 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
err404 has quit [Remote host closed the connection]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
DijkstraGroupie has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
eni has joined #ocaml
Yoric has joined #ocaml
lggr has quit [Ping timeout: 248 seconds]
lggr has joined #ocaml
ontologiae has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
ontologiae has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
ontologiae has joined #ocaml
<fasta>
How to install lwt.ssl via opam?
lggr has quit [Ping timeout: 264 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
Yoric has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
emmanuelux has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 264 seconds]
eni has quit [Ping timeout: 260 seconds]
eni has joined #ocaml
lggr has joined #ocaml
osa1 has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
DijkstraGroupie has left #ocaml []
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
eni has quit [Ping timeout: 245 seconds]
eni has joined #ocaml
lggr has joined #ocaml
ontologiae has quit [Read error: Operation timed out]
lggr has quit [Ping timeout: 245 seconds]
Playground has joined #ocaml
Playground has quit [Client Quit]
chambart has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
err404 has joined #ocaml
lggr has quit [Ping timeout: 264 seconds]
Sablier_ has joined #ocaml
chambart has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
pqmodn has quit [Ping timeout: 264 seconds]
pqmodn has joined #ocaml
lggr has quit [Ping timeout: 264 seconds]
hcarty has quit [Ping timeout: 264 seconds]
err404 has quit [Read error: No route to host]
lggr has joined #ocaml
ski has quit [Ping timeout: 268 seconds]
ski has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
err404 has joined #ocaml
err404 has quit [Max SendQ exceeded]
lggr has joined #ocaml
err404 has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
pqmodn has quit [Ping timeout: 240 seconds]
pqmodn has joined #ocaml
ski has quit [Ping timeout: 260 seconds]
lggr has quit [Ping timeout: 248 seconds]
ski has joined #ocaml
chambart has joined #ocaml
lggr has joined #ocaml
ski has quit [Ping timeout: 240 seconds]
ski has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
ontologiae has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
osa1 has quit [Quit: Konversation terminated!]
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 264 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
chambart has quit [Ping timeout: 260 seconds]
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 264 seconds]
eikke has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 245 seconds]
ontologiae has quit [Ping timeout: 264 seconds]
lggr has joined #ocaml
err404 has quit [Read error: No route to host]
larhat1 has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
oriba has joined #ocaml
lggr has joined #ocaml
oriba has quit [Client Quit]
hongboz has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
emmanuelux has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
bzzbzz has joined #ocaml
mnabil has joined #ocaml
lggr has quit [Ping timeout: 264 seconds]
lggr has joined #ocaml
bzzbzz has left #ocaml []
lggr has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
Yoric has quit [Ping timeout: 268 seconds]
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
nimred has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
bzzbzz has joined #ocaml
bzzbzz has left #ocaml []
lggr has quit [Ping timeout: 245 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
* adrien
is probably soon going to build an ocaml cross-compiler for windows and put it inside yypkg packages
<adrien>
and fucking mozilla/netscape
<adrien>
on those wise words, I'm afk :-)
<orbitz>
Did you just tell me to go fuck myself?
sivoais has quit [Quit: Lost terminal]
lggr has joined #ocaml
lggr has quit [Ping timeout: 240 seconds]
larhat has joined #ocaml
larhat1 has quit [Read error: Connection reset by peer]
Cyanure has joined #ocaml
lggr has joined #ocaml
sivoais has joined #ocaml
hcarty has joined #ocaml
eni has quit [Ping timeout: 245 seconds]
lggr has quit [Ping timeout: 268 seconds]
lggr has joined #ocaml
eni has joined #ocaml
lggr has quit [Ping timeout: 256 seconds]
pango has quit [Ping timeout: 272 seconds]
<hcarty>
thelema: What do you think of having one bounds:('a bound_t * 'a bound_t) parameter for bounding_f functions?
lggr has joined #ocaml
avsm has joined #ocaml
Cyanure has quit [Remote host closed the connection]
lggr has quit [Ping timeout: 264 seconds]
lggr has joined #ocaml
pango has joined #ocaml
larhat has quit [Quit: Leaving.]
lggr has quit [Ping timeout: 256 seconds]
osa1 has joined #ocaml
lggr has joined #ocaml
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
ontologiae has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
<thelema>
I'm trying to figure out why the bounds are ever specified twice
<thelema>
hcarty: ^^
<hcarty>
thelema: Default values for out of bounds <> bounds
<thelema>
I understand we need this flexibility for the _chain version
<thelema>
but I can't imagine any uses other than saturating and None for the non-chain version
<hcarty>
thelema: The example I gave yesterday was the main reason for me - nan or +/- infinity for out of bounds floating point values
<thelema>
ah... That's a fair one...
<thelema>
hmmm
<thelema>
And the expected use is to apply all 4 parameters: 2 defaults and 2 bounds and then get a t -> t function?
lggr has joined #ocaml
<hcarty>
That's something I'm still trying to decide
<thelema>
As is, it looks like the intended use is in stages: 2 defaults -> (bounds -> t->t)
<hcarty>
No bounds = None
<hcarty>
thelema: Oh, I misunderstood the question
<thelema>
and I really expect that the defaults and the bounds to be pretty coupled
<hcarty>
I expect that the primary use with be in one stage (2 defaults + 2 bounds -> function)
<hcarty>
But I can see cases, like the floating point one above, where there would be two
<hcarty>
Another would be if type t is not numeric.
<hcarty>
type t = Invalid_low | A | B | C | Invalid_high as a contrived example
lggr has quit [Ping timeout: 264 seconds]
<hcarty>
A more realistic one might be type dates = Too_early | D of Date.t | Too_late
<wmeyer>
type date = TooTired | Code | Sleep | Work | Reading | Maybe;;
<wmeyer>
:)
lggr has joined #ocaml
<thelema>
hcarty: hmmm...
fasta has quit [Quit: Quit]
<thelema>
well, I approve of using pairs for each stage, to couple the arguments
<thelema>
I'm still not convinced that the rare case is worth any extra complexity
<thelema>
as far as I'm concerned, our job is to make the common case easy, not to make it easy to do really complex things
lggr has quit [Ping timeout: 245 seconds]
<hcarty>
thelema: This will be a common case for me :-)
<hcarty>
thelema: I expect to be BatBounded fairly often for both dates and floating point values
<hcarty>
thelema: In both of those cases I don't think a sane defaults for out-of-bounds values are immediately obvious from the bounds themselves
<hcarty>
thelema: That said, the _chain function supports the more complex case, so if you are concerned about the main _of_ord function being too complex that could be a reasonable compromise.
<hcarty>
I think that keeping the default_low and default_high arguments is best though
<hcarty>
wmeyer: Indeed :-)
gnuvince has quit [Ping timeout: 246 seconds]
<thelema>
hcarty: as separate arguments instead of a pair? sure.
<thelema>
If you don't write them, I'll probably add convenience functions that build saturating and option bounding functions from a single pair of bounds and an order function
<hcarty>
thelema: That sounds like a useful and reasonable addition
<hcarty>
I didn't want to add too much until the core bits were in place
lggr has joined #ocaml
<hcarty>
thelema: An unrelated Batteries topic - I'm cleaning up some of the warnings in master. BatInt.of_string is defined twice - once throwing Invalid_argument and once using the default Failure exception. The documentation says that it should throw Invalid_argument. Which version should stick around
<hcarty>
?
<hcarty>
thelema: batInt.ml lines 99 and 110
<thelema>
invalid_argument
<hcarty>
Ok, I'll remove the external of_string
<thelema>
Yup, I've been cleaning up warnings too; I hope I've pushed most of my changes (so they don't have to be redone)
<thelema>
wait...
<thelema>
the stdlib throws failure on bad input?
<thelema>
if so, let's stay compatible with it.
<hcarty>
stdlib does
<hcarty>
Can do
<thelema>
ok, then we change the docs for backwards compatibility.
<thelema>
gotta go. bye
<hcarty>
You've pushed some warning fixes. I'm working on others
<hcarty>
thelema: Thanks for the feedback
lggr has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
lggr has joined #ocaml
Yoric has joined #ocaml
lggr has quit [Ping timeout: 260 seconds]
lggr has joined #ocaml
avsm has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
lggr has joined #ocaml
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 264 seconds]
lggr has quit [Ping timeout: 246 seconds]
lggr has joined #ocaml
lggr has quit [Ping timeout: 244 seconds]
eni has quit [Ping timeout: 246 seconds]
avsm has quit [Quit: Leaving.]
<pngl>
Is there a common mistake that triggers the error : "This expression has type (type) but an expression was expected of type (type)", with both (type) being the same?
<hcarty>
pngl: It usually happens in the toplevel when a type with the same name is defined multiple times
<pngl>
hcarty: thanks, that's it.
<hcarty>
pngl: If a function is defined against the first definition of 'type' then it (generally) won't work against a later definition unless the function is also redefined