ontologiae has quit [Ping timeout: 240 seconds]
<
pippijn>
also, using fold_right instead of making a list and then appending it to the other list is slower
<
callen>
pippijn: closures are often slower.
arneis has quit [Ping timeout: 245 seconds]
GnomeStoleMyBike has quit [Ping timeout: 240 seconds]
<
pippijn>
./dfa < testsuite/huge.ii 0.14s user 0.01s system 97% cpu 0.156 total
<
pippijn>
thelema: my test was unfair
<
pippijn>
thelema: in a fair comparison, I'm only about twice as fast
<
pippijn>
ocamllex: ./dfa < testsuite/huge.ii 0.27s user 0.02s system 95% cpu 0.298 total
tautologico has joined #ocaml
sepp2k has quit [Remote host closed the connection]
travisbrady has joined #ocaml
<
pippijn>
it's about 2.5 times as fast
<
pippijn>
ocamllex: ./dfa < testsuite/huge.ii 0.24s user 0.01s system 96% cpu 0.256 total
<
pippijn>
mine: ./dfa < testsuite/huge.ii 0.10s user 0.00s system 98% cpu 0.105 total
<
pippijn>
this is with trivial semantic actions (all returning an integer)
Neros has joined #ocaml
tane has quit [Ping timeout: 260 seconds]
Yoric has joined #ocaml
tautologico has quit [Ping timeout: 256 seconds]
<
pippijn>
interesting.. ocamllex has: -ml Output code that does not use the Lexing module built-in automata interpreter
<
pippijn>
but that's even slower than the interpreter
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 256 seconds]
ulfdoz_ is now known as ulfdoz
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 246 seconds]
Cyanure has quit [Remote host closed the connection]
Yoric has quit [Ping timeout: 252 seconds]
Neros has quit [Ping timeout: 260 seconds]
madroach has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
tautologico has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
Progster has quit [Ping timeout: 260 seconds]
smondet has quit [Read error: Operation timed out]
travisbrady has quit [Quit: travisbrady]
synod has joined #ocaml
<
synod>
is there a typerex equivalent to tuareg's C-c C-t for displaying the inferred type of symbol under cursor in minibuffer?
Yoric has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
tautologico has quit [Read error: Connection reset by peer]
cdidd has joined #ocaml
ankit9 has joined #ocaml
larhat1 has quit [Quit: Leaving.]
Yoric has joined #ocaml
jewel has quit [Ping timeout: 260 seconds]
answer_42 has joined #ocaml
beckerb has joined #ocaml
ankit9 has quit [Quit: Leaving]
pango is now known as pangoafk
answer_42 has quit [Ping timeout: 276 seconds]
fusillia has joined #ocaml
Kakadu has joined #ocaml
<
flux>
nice use for first-class modules from Jeff Meister in the mailing list
<
flux>
(and their easier syntax in 4.0)
<
flux>
although, the fold itself is pretty easy to write.. but perhaps using a 'map' function communicates the meaning better
<
pippijn>
sub-pattern bindings make ocamllex a lot slower
<
pippijn>
and it says it's using 50% more storage
<
pippijn>
no sub-patterns: 0.299 total
<
pippijn>
with sub-patterns: 0.611 total
_habnabit has quit [Read error: Operation timed out]
_habnabit has joined #ocaml
ftrvxmtrx has joined #ocaml
<
flux>
there is probably room for improvement..
arneis has joined #ocaml
flux has quit [Ping timeout: 244 seconds]
GnomeStoleMyBike has joined #ocaml
chambart has joined #ocaml
ontologiae has joined #ocaml
larhat has joined #ocaml
arneis has quit [Ping timeout: 245 seconds]
elixey has quit [Write error: Connection reset by peer]
Snark has joined #ocaml
elixey has joined #ocaml
mcclurmc_away is now known as mcclurmc
Cyanure has joined #ocaml
jave has quit [Ping timeout: 245 seconds]
ftrvxmtrx has quit [Ping timeout: 268 seconds]
ftrvxmtrx has joined #ocaml
ankit9 has joined #ocaml
jave has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
xavierm02 has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
gal_bolle has joined #ocaml
sepp2k has joined #ocaml
fusillia has quit [Remote host closed the connection]
mcclurmc is now known as mcclurmc_away
ankit9 has quit [Quit: Leaving]
ankit9 has joined #ocaml
ChristopheT has joined #ocaml
ankit9 has quit [Quit: Leaving]
Neros has joined #ocaml
mcclurmc_away is now known as mcclurmc
avsm has joined #ocaml
synod has quit [Quit: Page closed]
ontologiae has quit [Ping timeout: 268 seconds]
tane has joined #ocaml
avsm has quit [Quit: Leaving.]
answer_42 has joined #ocaml
chambart has joined #ocaml
ankit9 has joined #ocaml
Vinnipeg has joined #ocaml
ankit9 has quit [Remote host closed the connection]
chambart has quit [Ping timeout: 246 seconds]
chambart has joined #ocaml
arneis has joined #ocaml
Neros has quit [Remote host closed the connection]
Neros has joined #ocaml
Yoric has joined #ocaml
jewel has joined #ocaml
Snark has quit [Quit: Quitte]
arneis has quit [Ping timeout: 245 seconds]
Vinnipeg has quit [Quit: Leaving.]
travisbrady has joined #ocaml
avsm has joined #ocaml
Vinnipeg has joined #ocaml
Vinnipeg has quit [Client Quit]
rixed has quit [Ping timeout: 255 seconds]
Snark has joined #ocaml
tac has joined #ocaml
tac has quit [Quit: Page closed]
tac has joined #ocaml
rixed has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
ftrvxmtrx has quit [Quit: Leaving]
jewel has quit [Ping timeout: 246 seconds]
avsm has quit [Quit: Leaving.]
smondet has joined #ocaml
avsm has joined #ocaml
Kakadu has joined #ocaml
jamii has joined #ocaml
ftrvxmtrx has joined #ocaml
rixed has quit [Read error: Connection reset by peer]
tac has quit [Ping timeout: 245 seconds]
larhat has quit [Quit: Leaving.]
Snark has quit [Quit: Quitte]
travisbrady has quit [Quit: travisbrady]
avsm has quit [Quit: Leaving.]
travisbrady has joined #ocaml
avsm has joined #ocaml
babalu has joined #ocaml
<
babalu>
is there a convention for indentation in ocaml? 2 or 4 spaces?
<
thelema>
babalu: 2 spaces is common
<
thelema>
babalu: emacs modes have auto-indentation
<
thelema>
tuareg and caml-mode
<
babalu>
ye that's pretty useful, i saw that tab could be used to indent a line
<
babalu>
how can i indent a full paragraph?
pangoafk is now known as pango
<
babalu>
thelema: nice, is this equivalent to going to the fist line of the paragraphe, indenting it, then the second line, etc.?
<
thelema>
babalu: not quite; it can re-line-break comments
<
thelema>
"re-flow"?
<
thelema>
also, "phrase" is the term you're looking for; ocaml programs are composed of phrases
travisbrady has quit [Quit: travisbrady]
rixed has joined #ocaml
rixed_ has joined #ocaml
rixed has quit [Ping timeout: 240 seconds]
mcclurmc is now known as mcclurmc_away
avsm has quit [Quit: Leaving.]
Anarchos has joined #ocaml
hto_ has joined #ocaml
hto has quit [Read error: Connection reset by peer]
jamii has quit [Ping timeout: 260 seconds]
ulfdoz has quit [Quit: brb]
ulfdoz has joined #ocaml
GnomeStoleMyBike has quit [Ping timeout: 260 seconds]
babalu has quit [Quit: Page closed]
jamii has joined #ocaml
oriba has joined #ocaml
Cyanure has quit [Remote host closed the connection]
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 256 seconds]
ChristopheT has left #ocaml []
avsm has joined #ocaml
avsm has quit [Client Quit]
elixey has quit [Remote host closed the connection]
elixey has joined #ocaml
oriba has quit [Read error: Operation timed out]
Snark has joined #ocaml
oriba has joined #ocaml
Xizor has joined #ocaml
hongboz has joined #ocaml
flux has joined #ocaml
TDJACR has quit [Ping timeout: 244 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
beckerb has quit [Quit: Konversation terminated!]
hongboz has quit [Read error: Operation timed out]
GnomeStoleMyBike has joined #ocaml
callen has left #ocaml []
flux has quit [Ping timeout: 264 seconds]
tautologico has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
jamii has quit [Ping timeout: 260 seconds]
Kakadu has quit [Quit: Konversation terminated!]
Xizor has quit [Quit: So yes it's mIRC under wine under debian double peche capital. ;) I'll soon see in kfreeBSD.]
Snark has quit [Quit: Quitte]
uselpa has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
uselpa has quit [Remote host closed the connection]
zzz_ has quit [Remote host closed the connection]
NaCl_ has joined #ocaml
NaCl has quit [Read error: Operation timed out]
gnuvince has quit [Ping timeout: 265 seconds]
answer_42 has quit [Ping timeout: 276 seconds]
ftrvxmtrx has quit [Read error: Connection reset by peer]
Yoric has quit [Ping timeout: 252 seconds]
tane has quit [Quit: Verlassend]
chambart has quit [Ping timeout: 246 seconds]
chambart has joined #ocaml
Cyanure has joined #ocaml
oriba has quit [Quit: oriba]
GnomeStoleMyBike has quit [Ping timeout: 252 seconds]
Yoric has joined #ocaml
smondet has quit [Ping timeout: 240 seconds]
gal_bolle has quit [Remote host closed the connection]
BiDOrD_ has joined #ocaml
BiDOrD has quit [Ping timeout: 264 seconds]
cdidd has quit [Ping timeout: 245 seconds]
Neros has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]