sponge45 changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/
ramkrsna has quit [Read error: 104 (Connection reset by peer)]
johnnowak has joined #ocaml
smimou has quit ["bli"]
cmeme has quit ["Client terminated by server"]
cmeme has joined #ocaml
swater has quit [Remote closed the connection]
bluestorm has quit ["Konversation terminated!"]
postalchris has quit [Read error: 110 (Connection timed out)]
bluestorm has joined #ocaml
jlouis_ has joined #ocaml
johnnowak has quit []
bluestorm has quit ["Konversation terminated!"]
jlouis has quit [Read error: 110 (Connection timed out)]
mnemonic has quit ["leaving"]
b00t has joined #ocaml
ramkrsna has joined #ocaml
shawn has quit [Read error: 110 (Connection timed out)]
paulproteus has left #ocaml []
tehdeuce has joined #ocaml
<tehdeuce>
Sorry for the strange question, but does anyone know where I could find a tool to enhance the ocaml command line. I once had one (I believe it was called jedit, but when I search for that all that comes up is the text editor) but I lost it when I got a new computer
<mbishop>
ledit
<mbishop>
then use 'ledit ocaml'
<mbishop>
gives you completion and history
<tehdeuce>
That's it. Thanks
tehdeuce has quit [Client Quit]
<mbishop>
How do I use xml-light to get the pcdata from certain tags? I already parsed a file with Xml.parse_file
<mbishop>
but I don't know how to get at specific pcdata within that structure
seafood has quit [Read error: 145 (Connection timed out)]
shawn has joined #ocaml
seafood_ has quit [Read error: 110 (Connection timed out)]
shawn has quit ["This computer has gone to sleep"]
postalchris has joined #ocaml
Smerdyakov has quit ["Leaving"]
pants1 has joined #ocaml
pants1 has quit ["Leaving."]
postalchris has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has quit ["...and the Awesome level drops"]
pstickne has joined #ocaml
diffbavis has joined #ocaml
diffbavis has quit [Read error: 54 (Connection reset by peer)]
<flux->
I prefer rlwrap, though
<flux->
it uses readline, thus many keys that don't work with ledit work sensibly
<flux->
but, tehdeuce is long gone I see :)
slava has joined #ocaml
bluestorm has joined #ocaml
slipstream-- has quit [Read error: 54 (Connection reset by peer)]
slipstream has joined #ocaml
love-pingoo has joined #ocaml
bluestorm_ has joined #ocaml
bluestorm has quit [zelazny.freenode.net irc.freenode.net]
ramkrsna has quit [zelazny.freenode.net irc.freenode.net]
mbishop has quit [zelazny.freenode.net irc.freenode.net]
ikaros has quit [zelazny.freenode.net irc.freenode.net]
benny_ has quit [zelazny.freenode.net irc.freenode.net]
eradman has quit [zelazny.freenode.net irc.freenode.net]
Oatmeat|umn has quit [zelazny.freenode.net irc.freenode.net]
descender has quit [zelazny.freenode.net irc.freenode.net]
ramkrsna has joined #ocaml
mbishop has joined #ocaml
ikaros has joined #ocaml
benny_ has joined #ocaml
descender has joined #ocaml
Oatmeat|umn has joined #ocaml
eradman has joined #ocaml
yangsx has joined #ocaml
yangsx has quit [Read error: 110 (Connection timed out)]
gene9 has joined #ocaml
ikaros has quit [Read error: 110 (Connection timed out)]
ikaros has joined #ocaml
gene9 has quit ["Meritocracy"]
bluestorm_ has quit ["Konversation terminated!"]
fremo has joined #ocaml
diffbavis has joined #ocaml
b00t has quit ["Leaving"]
diffbavis has quit [Read error: 54 (Connection reset by peer)]
postalchris has joined #ocaml
postalchris has quit ["Leaving."]
bluestorm has joined #ocaml
ikaros has left #ocaml []
Smerdyakov has joined #ocaml
Aradorn has joined #ocaml
Aradorn has quit [Client Quit]
Aradorn has joined #ocaml
pango_ has quit [Remote closed the connection]
slipstream-- has joined #ocaml
pango_ has joined #ocaml
slipstream has quit [Read error: 60 (Operation timed out)]
wkh has joined #ocaml
Smerdyakov has quit ["Leaving"]
Smerdyakov has joined #ocaml
love-pingoo has quit ["zou"]
postalchris has joined #ocaml
mnemonic has joined #ocaml
slipstream-- has quit [zelazny.freenode.net irc.freenode.net]
Aradorn has quit [zelazny.freenode.net irc.freenode.net]
oracle1 has quit [zelazny.freenode.net irc.freenode.net]
danly has quit [zelazny.freenode.net irc.freenode.net]
ozzloy has quit [zelazny.freenode.net irc.freenode.net]
jdev has quit [zelazny.freenode.net irc.freenode.net]
slipstream-- has joined #ocaml
Aradorn has joined #ocaml
jdev has joined #ocaml
oracle1 has joined #ocaml
danly has joined #ocaml
ozzloy has joined #ocaml
taras has joined #ocaml
<taras>
what's a good question to ask about compiler stuff?
<taras>
err
<taras>
good channel
<taras>
i'm wondering what the algorithm for restricting domain of variables based on conditionals is called
<taras>
if(x) { here x is obviously non-zero }
<taras>
or conversly if(!x) { we know x is zero }
oracle1 has quit [zelazny.freenode.net irc.freenode.net]
Aradorn has quit [zelazny.freenode.net irc.freenode.net]
danly has quit [zelazny.freenode.net irc.freenode.net]
ozzloy has quit [zelazny.freenode.net irc.freenode.net]
jdev has quit [zelazny.freenode.net irc.freenode.net]
slipstream-- has quit [zelazny.freenode.net irc.freenode.net]
slipstream-- has joined #ocaml
Aradorn has joined #ocaml
jdev has joined #ocaml
oracle1 has joined #ocaml
danly has joined #ocaml
ozzloy has joined #ocaml
Oatmeat|umn has quit [Read error: 110 (Connection timed out)]
Oatmeat|umn has joined #ocaml
diffbavis has joined #ocaml
smimou has joined #ocaml
Submarine has joined #ocaml
<flux->
funny.. gprof says 12% of my cpu time is spent calling function fun (a, b) -> int_of_float a, int_of_float b
Smergo_ has joined #ocaml
<flux->
I suppose such operations are quite heavy then
love-pingoo has joined #ocaml
<fremo>
should check how it's done, if the fpu is used to do the conversion, it can be expensive...
<fremo>
my 2 cents... :)
Smergo has quit [Read error: 110 (Connection timed out)]
shawn has joined #ocaml
_PenPen_ has joined #ocaml
Submarine has quit ["Leaving"]
Aradorn has quit []
_PenPen__ has joined #ocaml
shawn has left #ocaml []
Submarine has joined #ocaml
_PenPen_ has quit [Read error: 110 (Connection timed out)]
mnemonic has quit ["leaving"]
malc_ has joined #ocaml
eradman has quit [zelazny.freenode.net irc.freenode.net]
mbishop has quit [zelazny.freenode.net irc.freenode.net]
descender has quit [zelazny.freenode.net irc.freenode.net]
benny_ has quit [zelazny.freenode.net irc.freenode.net]
ramkrsna has quit [zelazny.freenode.net irc.freenode.net]
eradman has joined #ocaml
ramkrsna has joined #ocaml
mbishop has joined #ocaml
benny_ has joined #ocaml
descender has joined #ocaml
benny has joined #ocaml
benny_ has quit [Read error: 110 (Connection timed out)]
Submarine has quit ["Leaving"]
jlouis_ is now known as jlouis
gunark has quit [Remote closed the connection]
metaperl has joined #ocaml
<metaperl>
someone please tell me there is someting wrong with Haskell monads and nothing wrong with me :)
<slava>
hey metaperl
<metaperl>
slava - hi
swater has joined #ocaml
bluestorm has quit ["Konversation terminated!"]
Submarine has joined #ocaml
<jlouis>
metaperl, nothing is wrong with Haskell monads
<metaperl>
yes, it must be I
<jlouis>
I do not know. I find them overly explicit and quite irritating
* mbishop
nods
<mbishop>
I like the idea of having your io "roped off", but in real life it's just a pain :\
<jlouis>
(unless you are proving denotational semantics in which case they utterly kill a really big amount of work)
<jlouis>
The trick is to prove something holds for the monad. Then it holds for anything you can shove into it. And that is quite neat
<jlouis>
or simplifies their proofs
love-pingoo has quit ["Connection reset by pear"]
pango_ has quit [Remote closed the connection]
pango_ has joined #ocaml
metaperl has quit ["Computer goes to sleep!"]
malc_ has quit ["leaving"]
pango_ has quit [Remote closed the connection]
smimram has joined #ocaml
dark_light has joined #ocaml
pango_ has joined #ocaml
smimou has quit [Read error: 110 (Connection timed out)]