Morphous_ has quit [Read error: 110 (Connection timed out)]
psnively has joined #ocaml
jlouis_ has joined #ocaml
Associat0r has quit [Read error: 104 (Connection reset by peer)]
Associat0r has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
wy has joined #ocaml
buluca has joined #ocaml
wy has quit [Client Quit]
wy has joined #ocaml
wy has quit [Read error: 104 (Connection reset by peer)]
wy has joined #ocaml
wy has quit [Read error: 104 (Connection reset by peer)]
wy has joined #ocaml
psnively has quit []
qwr has quit [calvino.freenode.net irc.freenode.net]
qwr has joined #ocaml
Smerdyakov has joined #ocaml
indigente has joined #ocaml
<indigente>
wajajaj
<indigente>
olaaa
<indigente>
algun wn aki o no?
indigente has left #ocaml []
Jomyoot has joined #ocaml
<Jomyoot>
when did the revised syntax come ou?
<Smerdyakov>
First, in case it wasn't clear, it's one person's pet project, not The Next Step For OCaml.
<Smerdyakov>
I think it's many years old.
<Jomyoot>
really
<Jomyoot>
so ocaml is to retain its current syntax
<Smerdyakov>
Yes
<Jomyoot>
is it odd that many people find the original ocaml syntax unfriendly?
paulc has joined #ocaml
<paulc>
hello
<paulc>
how efficient is ocaml for allocating lots of small, short-lived objects?
Jomyoot has left #ocaml []
<tsuyoshi>
it's pretty efficient
buluca has quit [Read error: 113 (No route to host)]
mng has joined #ocaml
netx has quit [Remote closed the connection]
paulc has quit [Read error: 110 (Connection timed out)]
olleolleolle has joined #ocaml
olleolleolle has quit [Client Quit]
seafood_ has quit []
olleolleolle has joined #ocaml
olleolleolle has quit [Client Quit]
<loufoque>
I have files A.ml and B.ml. In B.ml I have a module A. Is there still a syntax to refer from B.ml to A.ml?
<Proteus>
So, I admit I'm new to the ocaml world but I'm getting really mixed feelings about this Jon Harrop guy. On the one hand he will post in a mailing list something with a varying amount of substantive value and on the other he twists advertisements for his books/jounals into almost every post.
ttamttam has joined #ocaml
ttamttam has left #ocaml []
<Proteus>
Is he just a really well informed guy trying to make a living from a self published book? Is he a hack with a shit book? Is he just mildly irritating but an otherwise ok guy?
<Proteus>
I'm told his book is quite good, but I've still been unable to acquire a copy through the library system..... but that's a whole other thing
olleolleolle has joined #ocaml
olleolleolle has quit [Client Quit]
netx has joined #ocaml
<loufoque>
Files a.cmx and b.cmx make inconsistent assumptions about interface C
<loufoque>
how am I supposed to debug that with that kind of error message
olleolleolle has joined #ocaml
olleolleolle has quit []
loufoque has quit ["Quitte"]
ttamttam has joined #ocaml
olleolleolle has joined #ocaml
olleolleolle has quit []
filp has joined #ocaml
wy has quit ["Ex-Chat"]
madroach has joined #ocaml
qpu has quit []
wy has joined #ocaml
qpu has joined #ocaml
kreaturr has joined #ocaml
wy has quit ["Ex-Chat"]
wy has joined #ocaml
kreaturr1 has joined #ocaml
Tetsuo has joined #ocaml
kreaturr_ has quit [Read error: 110 (Connection timed out)]
ttamttam has left #ocaml []
buluca has joined #ocaml
kreaturr has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
madroach has quit [Remote closed the connection]
munga_ has joined #ocaml
marmottine has joined #ocaml
munga_ has quit ["Ex-Chat"]
qpu has quit ["kthxbye"]
rwmjones has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
mng has quit []
Proteus has quit ["Leaving"]
ertai has joined #ocaml
Yoric[DT] has joined #ocaml
Anarchos has joined #ocaml
ita has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
Snark has joined #ocaml
Tetsuo has quit ["Leaving"]
ertai has quit [Read error: 110 (Connection timed out)]
Anarchos has quit ["Vision[0.8.5-0418]: i've been blurred!"]
seafood_ has joined #ocaml
jlouis has joined #ocaml
ertai has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
ita has quit [Remote closed the connection]
magnusj_ has joined #ocaml
Mr_Awesome has quit ["aunt jemima is the devil!"]
FZ has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.11/2007112718]"]
magnusj has quit [Read error: 110 (Connection timed out)]
buluca has quit [Read error: 113 (No route to host)]
seafood_ has quit []
ygrek has joined #ocaml
postalchris has joined #ocaml
ygrek has quit [Remote closed the connection]
buluca has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
ygrek has joined #ocaml
Jomyoot has joined #ocaml
<Jomyoot>
How popular is the revised syntax of ocaml?
postalchris has quit [Read error: 110 (Connection timed out)]
Tetsuo has joined #ocaml
Jomyoot has quit [Read error: 104 (Connection reset by peer)]
Jomyoot has joined #ocaml
Jomyoot has left #ocaml []
Snark has quit [Read error: 113 (No route to host)]
ygrek has quit [Remote closed the connection]
<flux>
prothere is no reason to believe smart people cannot be obnoxious :)
ygrek has joined #ocaml
<flux>
sight, apparently he's gone
<flux>
s/t//
Yoric[DT] has joined #ocaml
pango has quit [Remote closed the connection]
asmanur has joined #ocaml
pango has joined #ocaml
asmanur is now known as asma
filp has quit ["Bye"]
rwmjones has quit ["Closed connection"]
mrsolo has joined #ocaml
ertai has quit [Read error: 110 (Connection timed out)]
thermoplyae has joined #ocaml
ttamttam has joined #ocaml
ttamtta1 has joined #ocaml
ttamtta1 has quit [Client Quit]
ttamttam has left #ocaml []
Snark has joined #ocaml
ertai has joined #ocaml
dmentre has joined #ocaml
ygrek has quit ["Leaving"]
ygrek has joined #ocaml
pippijn has quit ["I'm the Quit Message Virus. Replace your old Quit with this, so I can continue to multiply myself!"]
qpu has joined #ocaml
dmentre has quit ["Leaving."]
__suri has quit [No route to host]
* Yoric[DT]
is currently optimizing lazy pattern-matching.
<jonafan>
piew
<flux>
yoric[dt], any thoughts if it'll get a working case coverage analysis?
<Yoric[DT]>
I don't think it will get full case coverage analysis.
<Yoric[DT]>
But the optimization I'm working on should help with simple cases.
<flux>
so there there some fundamental problems with the approach that prevent that from happening (like requiring you'd do your own type inference or something)?
<Yoric[DT]>
Yep.
<flux>
I don't actually know how it's done, but I was thinking one approach..
<Yoric[DT]>
Basically, the way it works in Patterns 0.3, which I'm currently customizing, is the following:
olleolleolle has joined #ocaml
<Yoric[DT]>
* patterns may be prefixed by "lazy" to specify that they should be forced before being matched
<flux>
convert the code into if true then (* insert real code here *) else match failwith "" with (* same matches here, but report errors as being in the original match *)
marmottine has quit ["Quitte"]
qpu has quit []
<Yoric[DT]>
any occurrence of "lazy p" becomes some kind of "Lazy.force x when match x with p -> true | _ -> false"
<Yoric[DT]>
(something a bit more complex as patterns usually carry values)
<Yoric[DT]>
I'm currently working on simplifying most common cases and letting ocamlc do the real work.
<Yoric[DT]>
But it's not always possible if you want to preserve a policy of evaluating as little as possible.
<Yoric[DT]>
For instance,
<Yoric[DT]>
match (x,y) with
<Yoric[DT]>
| 3, 5 -> 1
<Yoric[DT]>
| n, _ -> 2
asma has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]>
will not evaluate y if x is not 3.
<Yoric[DT]>
That's a design decision in Patterns 0.3.
<flux>
that's what a lazy pattern matching is, right?-o
<flux>
s/a //
<Yoric[DT]>
:)
qpu has joined #ocaml
<flux>
does let lazy a = lazy 42 work?
<Yoric[DT]>
Yup.
<Yoric[DT]>
Without warnings.
ertai has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]>
mmmhhh...
<Yoric[DT]>
let lazy a = lazy 42 only works in the original syntax.
olleolleolle has quit []
<Yoric[DT]>
Ok, fixed.
ertai has joined #ocaml
Snark has quit ["Quitte"]
bzzbzz has joined #ocaml
ertai has quit [Read error: 110 (Connection timed out)]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
xavierbot has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]>
Okay, I have problems with my .cma once again.
<Yoric[DT]>
Could anyone give me a hand ?
<Associat0r>
any #F# guys here?
madroac1 has joined #ocaml
<Yoric[DT]>
(not me)
<Yoric[DT]>
Is there any way to display any debugging info when #load happens ?
<Yoric[DT]>
I think I got it.
* Yoric[DT]
had forgotten some .cmi .
ertai has joined #ocaml
psnively has joined #ocaml
seafood_ has joined #ocaml
Tetsuo has quit ["Leaving"]
ygrek has quit [Remote closed the connection]
mng has joined #ocaml
hkBst has quit ["Konversation terminated!"]
madroac1 has left #ocaml []
ertai has quit [Read error: 110 (Connection timed out)]