Proteus_ has quit [Read error: 54 (Connection reset by peer)]
Proteus__ has joined #ocaml
jeddhaberstro has joined #ocaml
landonf_ has joined #ocaml
landonf has quit [Read error: 104 (Connection reset by peer)]
jeddhaberstro has quit []
seafood has joined #ocaml
seafood_ has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood_ has quit []
seafood has joined #ocaml
nuncanada has joined #ocaml
Associat0r has quit []
nuncanada has quit ["Leaving"]
vixey has quit []
Snark has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
landonf_ has quit []
jonafan_ has joined #ocaml
ygrek has joined #ocaml
jonafan has quit [Read error: 110 (Connection timed out)]
GustNG has joined #ocaml
prince has joined #ocaml
mishok13 has joined #ocaml
prince has quit [Client Quit]
Amorphous has quit [Read error: 104 (Connection reset by peer)]
filp has joined #ocaml
mbishop_ has joined #ocaml
Amorphous has joined #ocaml
Yoric[DT] has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
asmanur has joined #ocaml
det has joined #ocaml
guillem has joined #ocaml
seafood has joined #ocaml
seafood_ has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
seafood has quit [Client Quit]
zhoupp has joined #ocaml
Proteus has joined #ocaml
Proteus__ has quit [Read error: 110 (Connection timed out)]
det has quit [Remote closed the connection]
szell has joined #ocaml
seafood has joined #ocaml
seafood_ has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
zhoupp has quit []
szell` has quit [Read error: 110 (Connection timed out)]
Associat0r has joined #ocaml
szell` has joined #ocaml
seafood_ has quit [Read error: 104 (Connection reset by peer)]
seafood has joined #ocaml
szell has quit [Read error: 110 (Connection timed out)]
RobertFischer has joined #ocaml
szell` has quit [Connection timed out]
seafood has quit [Read error: 54 (Connection reset by peer)]
seafood has joined #ocaml
szell` has joined #ocaml
seafood has quit []
seafood has joined #ocaml
seafood has quit [Client Quit]
asmanur has quit [Read error: 110 (Connection timed out)]
asmanur has joined #ocaml
RobertFischer has quit [Remote closed the connection]
det has joined #ocaml
ygrek has quit [Remote closed the connection]
rjones has joined #ocaml
rjones is now known as rwmjones
rwmjones has quit [Client Quit]
rwmjones has joined #ocaml
det has quit [Remote closed the connection]
<rwmjones>
has anyone tried writing a camlp4 extension in terms of another extension? ie. generating << >> antiquotations which use a camlp4 extension?
<asmanur>
rwmjones: you mean, register your own quotations ?
<Yoric[DT]>
I've used Patterns in my own extension.
<Yoric[DT]>
It worked.
<rwmjones>
I think I mean like Yoric[DT]
<rwmjones>
specifically
<asmanur>
oh
<rwmjones>
if I've got ocaml-bitstring
<rwmjones>
I want to write another extension on top of / using that
<Yoric[DT]>
My extension generated "lazy bla"-style patterns and Patterns converted them into something usable.
<rwmjones>
so something like
<rwmjones>
<:expr< bitmatch bits with ... >>
<rwmjones>
s/antiquotations/quotations/
<asmanur>
rwmjones: when you create an extension you use already another extension (to use <:expr< >> for instance) so I don't think there is any problem
<Yoric[DT]>
rwmjones: in the case of Patterns, the extended syntax actually fit in the usual AST, so it might be trickier with "bitmatch".
mikezackles has joined #ocaml
pango_ has quit [Remote closed the connection]
pango_ has joined #ocaml
redocdam has joined #ocaml
ygrek has joined #ocaml
det has joined #ocaml
det has quit [Remote closed the connection]
ygrek has quit [Remote closed the connection]
mishok13 has quit [Read error: 54 (Connection reset by peer)]
vixey has joined #ocaml
asmanur has quit [Remote closed the connection]
pango_ has quit [Remote closed the connection]
asmanur has joined #ocaml
pango_ has joined #ocaml
<flux>
I must say that even for a command line debugger ocamldebug is far from user friendly..
<mattam>
I find it quite easy to use with the camldebug environment in emacs.
<flux>
I don't however understand my problem either.. I get a stacktrace saying lots of List char 3141, which is List.exists, but it should be tail recursive, so how is that possible?
ygrek has joined #ocaml
<flux>
(my actual problem is a stack overflow; I would understand it if it came from iterating my function, but not when it comes from that standard library function)
<flux>
the actual function definition is let rec exists p = function [] -> false | a::l -> p a || exists p l. and I tested that it doesn't crash with an infinite list (from a toplevel).
vixey has quit [Remote closed the connection]
<asmanur>
hum flux are you sure ? because the definition is clearly non-tail-recursive
<rwmjones>
flux, use extlib?
<rwmjones>
& that definition you pasted there is non-tailrec because '||' operator is the last thing to run
<flux>
hmm
<flux>
but isn't || shortuctted?
<rwmjones>
not in the actual recursive case ...
<flux>
a || b = if a then true else b ?
<flux>
extlib from godi doesn't provide exists of its own
<asmanur>
i think an if is slower that an actual ||
<flux>
but it's required for the semantics
<flux>
if you're talking about cpu-level branching
<flux>
as a || b requires b not to be evaluated if a is true
<rwmjones>
flux, no I'll take that back. ocamlopt is generating a loop for that code
<rwmjones>
of course, ocamlc might be different
<flux>
I suppose I could try with ocamlopt too
<rwmjones>
flux, try ocamlopt / gdb
<rwmjones>
that's what I use :-)
guillem has quit [Remote closed the connection]
jonafan_ is now known as jonafan
filp has quit ["Bye"]
<flux>
rwmjones, hm, gives me the same problem with natively compiled binary
Linktim has joined #ocaml
<flux>
actually perhaps the problem is that the functino it calls is a closure
<flux>
so it won't display it in the backtrace
<flux>
hmm, but the closure would call my actual function..
vixey has joined #ocaml
Axioplase has joined #ocaml
landonf has joined #ocaml
Linktim has quit [Read error: 104 (Connection reset by peer)]
GustNG has quit [Read error: 104 (Connection reset by peer)]
Linktim_ has joined #ocaml
filp has joined #ocaml
Linktim has joined #ocaml
munga_ has joined #ocaml
Linktim_ has quit [Read error: 110 (Connection timed out)]
Linktim_ has joined #ocaml
guillem has joined #ocaml
munga_ has quit [Read error: 113 (No route to host)]
Linktim has quit [Read error: 110 (Connection timed out)]
Oatschool has joined #ocaml
filp has quit ["Bye"]
szell has joined #ocaml
rwmjones has quit ["Leaving"]
netx303 has joined #ocaml
szell` has quit [Connection timed out]
dafra has joined #ocaml
Axioplase has quit [Read error: 104 (Connection reset by peer)]
Axioplase has joined #ocaml
rwmjones has joined #ocaml
Axioplase has quit ["brb"]
asmanur has quit [Remote closed the connection]
tomh has joined #ocaml
Proteus has quit [Read error: 113 (No route to host)]
netx303 has quit ["This computer has gone to sleep"]
Axioplase has joined #ocaml
netx303 has joined #ocaml
Snark has quit ["Ex-Chat"]
Linktim has joined #ocaml
msandin has joined #ocaml
Oatschool has quit ["Leaving"]
Linktim_ has quit [Read error: 113 (No route to host)]
gaja has joined #ocaml
mwc has joined #ocaml
<mwc>
What's the story with the concurrent GC project? Is the idea to enable a multithreaded code in the VM/native execution modes?
<mwc>
it sounded more like they were planning on creating an entirely new implementation rather than something for inclusion in 3.11/3.12
asmanur has joined #ocaml
netx303 has quit ["This computer has gone to sleep"]
netx303 has joined #ocaml
rwmjones has quit ["Closed connection"]
<landonf>
That's the extend of my knowledge =)
guillem has quit [Read error: 104 (Connection reset by peer)]
Linktim has quit ["Quitte"]
ygrek has quit [Remote closed the connection]
Yoric[DT] has quit ["Ex-Chat"]
jlouis_ has joined #ocaml
jlouis has quit [Read error: 104 (Connection reset by peer)]
dafra has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
netx303 has left #ocaml []
ChristopheT has joined #ocaml
det has joined #ocaml
det has quit [Read error: 104 (Connection reset by peer)]
det has joined #ocaml
<ChristopheT>
gildor: do you have 5 mins?
<gildor>
yep
<gildor>
ChristopheT: yep
Philonous has joined #ocaml
bohanlon has joined #ocaml
msandin has quit ["chat this!"]
Darvos has joined #ocaml
<Darvos>
hello! where can I grab the source for ocamlbuild?
<mfp>
Darvos: it's included in OCaml's sources
<mfp>
(since 3.10.0)
Proteus has joined #ocaml
<Darvos>
maybe that's why I can't find a download anywhere :-)
<Darvos>
Thanks
<mfp>
np
ChristopheT has left #ocaml []
<Darvos>
Cannot find file /usr/local/lib/ocaml/ocamlbuild/ocamlbuild.cmx ... does this mean that I need to rebuild ocaml?
<mfp>
normally, you'd get ocamlbuild by building OCaml >= 3.10.0; I don't know if it can be compiled separately (you probably can, but it might involve hacking the build sys)
<mfp>
Darvos: copying the ocamlbuild/ dir to tmp and running make works for me
<mfp>
even make install, which places it in $(PWD)/_install/ by default
<mfp>
you probably need to do something like INSTALL_PREFIX=/usr/local INSTALL_LIB=/usr/local/lib/ocaml/3.xx.y/ocamlbuild make install