Oatschool has quit [Read error: 110 (Connection timed out)]
jeremiah has joined #ocaml
eroyf has quit [Read error: 104 (Connection reset by peer)]
eroyf has joined #ocaml
CRathman has joined #ocaml
seafood_ has quit []
seafood_ has joined #ocaml
Mr_Awesome has joined #ocaml
Mr_Awesome has quit ["aunt jemima is the devil!"]
CRathman has quit ["ChatZilla 0.9.79 [Firefox 2.0.0.9/2007102514]"]
clog has joined #ocaml
buluca has joined #ocaml
seafood_ has quit []
seafood_ has joined #ocaml
filp has joined #ocaml
ygrek has quit [Remote closed the connection]
Yoric[DT] has joined #ocaml
Tetsuo has joined #ocaml
Mr_Awesome has joined #ocaml
Submarine has joined #ocaml
<Submarine>
yo
<Submarine>
would somebody here have access to Springer books online?
<Yoric[DT]>
yo, man
buluca has quit [Read error: 113 (No route to host)]
<flux>
hcarty, not really, but I'd like to see the .mli-files, are they online?
<flux>
I solved my recent plotting needs directly with libcairo bindings..
seafood_ has quit []
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
Abo-Marwan has joined #ocaml
screwt8 has joined #ocaml
seafood_ has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
<Yoric[DT]>
gasp !
<Yoric[DT]>
When parsing JavaScript, the lexer must receive informations from the parser !
<flux>
gasp?
<flux>
fun, fun, fun
<flux>
example?
* Yoric[DT]
wonders how it's going to implement that.
<Yoric[DT]>
a / b
<flux>
hmm..
<Yoric[DT]>
depending from the context, either the "/" is a division or the beginning of a regexp...
<flux>
so depending on the type of 'a' or 'b'?
jlouis has joined #ocaml
<flux>
hm, actually only a?
<Yoric[DT]>
Depending on the parser state.
<flux>
can you show a full expression? I'm not that familiar with js, especially with its regexp features..
<flux>
actually, full statement :)
<Yoric[DT]>
:)
<flux>
I suppose that was a full expression..
ygrek has joined #ocaml
* Yoric[DT]
is trying to put a good example together.
<Yoric[DT]>
Basically, a regexp is (almost) a string delimited by / instead of " .
<flux>
sigh.. 983 packets waiting for upgrade.. the joys of running debian unstable :)
<Yoric[DT]>
:)
<flux>
(and forgetting to update)
<Yoric[DT]>
So when you're lexing and you find a slash, you can't decide whether it's a division or a regular expression.
<Yoric[DT]>
/abc/ is a regexp
<Yoric[DT]>
d/abc/e is two divisions
* Yoric[DT]
wonders how he can implement that.
<rwmjones>
this is standard operating procedure for the perl lexer & parser too
<rwmjones>
also in perl, this little bundle of fun:
<Yoric[DT]>
Well, that's awful too.
<rwmjones>
/y$/
<rwmjones>
/$y/
<rwmjones>
the second one is a variable substitution ($y)
<rwmjones>
the first one is y at the end of a line
* Yoric[DT]
hopes he's not going to have and rewrite his parser from scratch just for that reason.
<Yoric[DT]>
nice.
<Yoric[DT]>
(well, not nice)
<Yoric[DT]>
It seems that in the reference implementation for JS2, whenever they meet a "/", they thunk the rest of the stream.
<Yoric[DT]>
Then, then, when meeting that "/", the parser may decide to switch lexer on the fly.
<Yoric[DT]>
Unless it's a "//" or a "/*".
jlouis_ has quit [Read error: 110 (Connection timed out)]
<tsuyoshi>
hey.. I got a function which is unit -> (int -> string option array -> 'a) -> (string option array -> 'a)
<tsuyoshi>
but when I call it once, it thinks 'a is set, and I can't call it with another type of 'a
<tsuyoshi>
how do I fix that?
<flux>
it's actually with type '_a, isn't it?
<flux>
you need to fix the definition so that it displays the parameters
<tsuyoshi>
I don't know, what does '_a mean?
<flux>
'_a is a type that can be anything that is fixed at first use
<tsuyoshi>
ok, I didn't write '_a in the mli
<flux>
all this '_a-business comes because of mutability, but it's there for a good reason :)
<flux>
hmm..
<flux>
so the call is from another module?
<tsuyoshi>
yeah
<flux>
hang, on gotta answer a phone
<tsuyoshi>
ok
<flux>
someone else did it..
<flux>
that looks strange. do you explicitly call the function, with all arguments applied, from another module, and you can't change the arguments afterwards?
<flux>
or do you have let a b = Yourmodule.that_function b - or other similar business going around?
<tsuyoshi>
I don't understand your question exactly.. but what I want to do is call it and have a bunch of functions that are either (string option array -> string * int) or (string option array -> string)
<tsuyoshi>
but once I call it to get (string option array -> string), it won't let me make a (string option array -> string * int)
<tsuyoshi>
I was figuring I need to write something special in the interface but I don't understand the reference manual's description of this
ygrek has quit [Remote closed the connection]
smimou has joined #ocaml
malc_ has quit ["leaving"]
<flux>
maybe you can write a shorter example that demonstrates the problem
<flux>
back from being busy..
<flux>
example where you can inadvertently produce '_a -types:
<flux>
let a f b = f b;;
<flux>
let b = a (fun i -> i);;
<flux>
now b has type '_a -> '_a
<flux>
so b "5" works, but b 5 after that won't
<flux>
or vice versa
<flux>
how to fix it? explicitly state the parameters: let b c = a (fun i -> i) c;;
<tsuyoshi>
oh so without currying it will work?
<tsuyoshi>
I will give that a shot then
filp has quit ["Bye"]
filp has joined #ocaml
seafood__ has joined #ocaml
seafood_ has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
<Yoric[DT]>
Gasp.
<Yoric[DT]>
It's even worse than I thought.
<Yoric[DT]>
Not only / has two possible meanings, but /= also.
<Yoric[DT]>
New version of the lexer compiling.
<Yoric[DT]>
Now, on to the parser...
* Yoric[DT]
now needs to find out how to switch lexer during the execution of the parser.
<Yoric[DT]>
That's going to be easy, yeah.
<rwmjones>
global variable?
<flux>
noo! don't do it!
<flux>
;-)
<Yoric[DT]>
Well, I have a global variable anyway, the lexing buffer.
<Yoric[DT]>
Actually, I think it's going to be ok.
<Yoric[DT]>
Well, maybe.
* Yoric[DT]
is somewhat scared at the moment.
* Yoric[DT]
is going to rely very much on the lazyness of streams.
<Yoric[DT]>
as in "if they're not lazily evaluated, this is going to mess up horribly with the results"
<Yoric[DT]>
Well, that should work.
<Yoric[DT]>
Ok, I *think* I got it.
<Yoric[DT]>
Without an additional global variable.
* Yoric[DT]
won't be able to test until the parser is complete.
kazzmir__ has joined #ocaml
kazzmir_ has quit [Read error: 104 (Connection reset by peer)]
kazzmir_ has joined #ocaml
kazzmir__ has quit [Read error: 104 (Connection reset by peer)]
jlouis_ has joined #ocaml
<seafood__>
Hey, I'm keen to talk to some people in the OCaml community who develop on Windows.
<seafood__>
Can you think of anyone who really fits the bill?
<seafood__>
Perhaps you know some people on the OCaml mailing list who have been active in this area?
<seafood__>
If so drop me a line.
<unfo->
jaaaahas
<unfo->
whoops. sorry wrong window
<rwmjones>
harrop's developing windows software I think
<rwmjones>
but he's using f# which isn't ocaml and isn't open source either
* Yoric[DT]
is very disappointed that F# is not open-source.
<Yoric[DT]>
If F# gets standardized, it may be interesting to reimplement it as an open-source language.
jlouis has quit [Read error: 110 (Connection timed out)]
* Yoric[DT]
has the bad feeling that he's forgetting something important in his parser.
<Yoric[DT]>
Ok, maybe not.
ikaros has joined #ocaml
ikaros_ has quit [Read error: 110 (Connection timed out)]
Submarine has left #ocaml []
ertai_ has joined #ocaml
crathman has joined #ocaml
ertai_ is now known as ert
ert is now known as ertai_
Oatschool has joined #ocaml
love-pingoo has joined #ocaml
ikaros has quit [Remote closed the connection]
ikaros has joined #ocaml
screwt8 has quit [Remote closed the connection]
Abo-Marwan has quit [Remote closed the connection]
<hcarty>
A lot of the type definitions are rather ugly, and likely not needed. I haven't made much effort to clean that up yet
<hcarty>
And with the exception of one or two functions, if a function takes a "sometype option" parameter it probably isn't wrapped properly yet
mulander has joined #ocaml
<hcarty>
The functions map more or less directly to their C counterparts though
eck has joined #ocaml
bluestorm_ has joined #ocaml
ttamttam has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
buluca has joined #ocaml
crathman has quit ["ChatZilla 0.9.79 [Firefox 2.0.0.9/2007102514]"]
pants1 has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
asmanur_ has joined #ocaml
pants1 has quit [Read error: 104 (Connection reset by peer)]
pants1 has joined #ocaml
asmanur has quit [Connection timed out]
pants1 has quit [Client Quit]
pants1 has joined #ocaml
ertai_ has quit [Read error: 110 (Connection timed out)]
filp has quit ["Bye"]
jonathan is now known as jonafan
david_koontz has joined #ocaml
filp has joined #ocaml
buluca has joined #ocaml
nuncanada has joined #ocaml
filp has quit ["Bye"]
ygrek has joined #ocaml
jburd has joined #ocaml
psnively has joined #ocaml
<jburd>
Can one use a cross-platform GUI toolkit with Ocaml?
pants1 has quit [Read error: 104 (Connection reset by peer)]
<psnively>
Yes: there are reasonably good bindings to Gtk+.
bluestorm_ has quit [Read error: 104 (Connection reset by peer)]
<jburd>
Hmm. I'm trying to build ocaml 3.10.0 from sources, and the configure script does not seem to understand the --prefix command-line option.
<jburd>
I have used an absolute path as stated in the script code.
asmanur_ has quit [Read error: 110 (Connection timed out)]
<jburd>
Ok, I was expecting GNU getopt behavior, but the script doesn't support it.
<Yoric[DT]>
There's also Chris King's nice Ocaml RT.
<jburd>
Uhh. Why does Ocaml's source code not use autotools for the build system?
<hcarty>
jburd: I'm not sure, but if you want to build from source, have you tried godi?
<jburd>
hcarty: My Linux distribution's package management system already has a package for Ocaml in place. However, I wanted to check whether I can use an updated version from another directory so it doesn't conflict with the system package.
<hcarty>
jburd: I have the same setup here using godi - I just set the install prefix to a directory under ~
<jburd>
hcarty: Using autotools for the building would have helped with distributed compiles as well. The current build system doesn't respect CC shell variables.
<hcarty>
As long as $PATH has the correct order it should work properly
<jburd>
Ah.
<jburd>
Yes, I'll give GODI a try.
<jburd>
And, no wonder the compile breaks.
<jburd>
brb
buluca has quit [Read error: 113 (No route to host)]
<mbishop>
This marionet thing looks neat
<mbishop>
marionnet*
ita has joined #ocaml
ikaros has quit [Remote closed the connection]
ttamttam has left #ocaml []
filp has joined #ocaml
ikaros has joined #ocaml
kelaouchi has joined #ocaml
crathman has joined #ocaml
ygrek has quit [Remote closed the connection]
Tetsuo has quit ["Leaving"]
mrsolo_ has joined #ocaml
mrsolo has quit [Read error: 104 (Connection reset by peer)]
kelaouchi has quit [kubrick.freenode.net irc.freenode.net]
ita has quit [kubrick.freenode.net irc.freenode.net]
jeremiah has quit [kubrick.freenode.net irc.freenode.net]
Tov_enst has quit [kubrick.freenode.net irc.freenode.net]
Jedai has quit [kubrick.freenode.net irc.freenode.net]
zvrba has quit [kubrick.freenode.net irc.freenode.net]
unfo- has quit [kubrick.freenode.net irc.freenode.net]
jburd has quit [kubrick.freenode.net irc.freenode.net]
sergez has quit [kubrick.freenode.net irc.freenode.net]
bla has quit [kubrick.freenode.net irc.freenode.net]
eck has quit [kubrick.freenode.net irc.freenode.net]
seafood has quit [kubrick.freenode.net irc.freenode.net]
mattam has quit [kubrick.freenode.net irc.freenode.net]
eroyf has quit [kubrick.freenode.net irc.freenode.net]
joshcryer has quit [kubrick.freenode.net irc.freenode.net]
TaXules has quit [kubrick.freenode.net irc.freenode.net]
psnively has quit [kubrick.freenode.net irc.freenode.net]
acatout has quit [kubrick.freenode.net irc.freenode.net]
|Catch22| has quit [kubrick.freenode.net irc.freenode.net]
mrsolo_ has quit [kubrick.freenode.net irc.freenode.net]
ikaros has quit [kubrick.freenode.net irc.freenode.net]
nuncanada has quit [kubrick.freenode.net irc.freenode.net]
jlouis_ has quit [kubrick.freenode.net irc.freenode.net]
diakopter has quit [kubrick.freenode.net irc.freenode.net]
Smerdyakov has quit [kubrick.freenode.net irc.freenode.net]
rwmjones has quit [kubrick.freenode.net irc.freenode.net]
guyzmo has quit [kubrick.freenode.net irc.freenode.net]
messju has quit [kubrick.freenode.net irc.freenode.net]
aij has quit [kubrick.freenode.net irc.freenode.net]
Nutssh has quit [kubrick.freenode.net irc.freenode.net]
mbishop has quit [kubrick.freenode.net irc.freenode.net]
schme has quit [kubrick.freenode.net irc.freenode.net]
Amorphous has quit [kubrick.freenode.net irc.freenode.net]
bebui has quit [kubrick.freenode.net irc.freenode.net]
zmdkrbou has quit [kubrick.freenode.net irc.freenode.net]
l_a_m has quit [kubrick.freenode.net irc.freenode.net]
love-pingoo has quit [kubrick.freenode.net irc.freenode.net]
pango has quit [kubrick.freenode.net irc.freenode.net]
smimou has quit [kubrick.freenode.net irc.freenode.net]
jonafan has quit [kubrick.freenode.net irc.freenode.net]
netx has quit [kubrick.freenode.net irc.freenode.net]
Ober has quit [kubrick.freenode.net irc.freenode.net]
pattern has quit [kubrick.freenode.net irc.freenode.net]
Abo-Marwan has quit [kubrick.freenode.net irc.freenode.net]
screwt8 has quit [kubrick.freenode.net irc.freenode.net]
kazzmir_ has quit [kubrick.freenode.net irc.freenode.net]
hkBst has quit [kubrick.freenode.net irc.freenode.net]
gaja has quit [kubrick.freenode.net irc.freenode.net]
Yoric[DT] has quit [kubrick.freenode.net irc.freenode.net]
cmeme has quit [kubrick.freenode.net irc.freenode.net]
rogo has quit [kubrick.freenode.net irc.freenode.net]
gim has quit [kubrick.freenode.net irc.freenode.net]
hcarty has quit [kubrick.freenode.net irc.freenode.net]
tsuyoshi has quit [kubrick.freenode.net irc.freenode.net]
simon has quit [kubrick.freenode.net irc.freenode.net]
svenl has quit [kubrick.freenode.net irc.freenode.net]
flux has quit [kubrick.freenode.net irc.freenode.net]
Hadaka has quit [kubrick.freenode.net irc.freenode.net]
ulfdoz has quit [kubrick.freenode.net irc.freenode.net]
filp has quit ["Bye"]
Ober_ has joined #ocaml
mrsolo_ has joined #ocaml
ikaros has joined #ocaml
psnively has joined #ocaml
jburd has joined #ocaml
nuncanada has joined #ocaml
eck has joined #ocaml
Abo-Marwan has joined #ocaml
screwt8 has joined #ocaml
pango has joined #ocaml
jlouis_ has joined #ocaml
kazzmir_ has joined #ocaml
hkBst has joined #ocaml
smimou has joined #ocaml
gaja has joined #ocaml
Yoric[DT] has joined #ocaml
acatout has joined #ocaml
eroyf has joined #ocaml
|Catch22| has joined #ocaml
l_a_m has joined #ocaml
cmeme has joined #ocaml
sergez has joined #ocaml
jonafan has joined #ocaml
netx has joined #ocaml
bla has joined #ocaml
rogo has joined #ocaml
diakopter has joined #ocaml
Smerdyakov has joined #ocaml
gim has joined #ocaml
rwmjones has joined #ocaml
joshcryer has joined #ocaml
guyzmo has joined #ocaml
seafood has joined #ocaml
mattam has joined #ocaml
schme has joined #ocaml
Nutssh has joined #ocaml
zmdkrbou has joined #ocaml
TaXules has joined #ocaml
Ober has joined #ocaml
hcarty has joined #ocaml
Amorphous has joined #ocaml
tsuyoshi has joined #ocaml
mbishop has joined #ocaml
bebui has joined #ocaml
aij has joined #ocaml
messju has joined #ocaml
kelaouchi has joined #ocaml
ita has joined #ocaml
jeremiah has joined #ocaml
Tov_enst has joined #ocaml
Jedai has joined #ocaml
zvrba has joined #ocaml
unfo- has joined #ocaml
Ober has quit [Connection reset by peer]
flux has joined #ocaml
simon has joined #ocaml
svenl has joined #ocaml
Hadaka has joined #ocaml
ulfdoz has joined #ocaml
kelaouchi has quit [Read error: 104 (Connection reset by peer)]
gaja has quit [Connection reset by peer]
pattern has joined #ocaml
gaja has joined #ocaml
kelaouchi has joined #ocaml
darinm has joined #ocaml
poau has joined #ocaml
poau has left #ocaml []
jlouis has joined #ocaml
crathman has quit ["ChatZilla 0.9.79 [Firefox 2.0.0.9/2007102514]"]
jlouis_ has quit [Read error: 110 (Connection timed out)]