watermind has quit [Quit: Konversation terminated!]
<pippijn>
adrien: probably the worst part of my parser generator is that it assumes that the EOF token has terminal-id 0
<pippijn>
it handles the EOF token specially
<pippijn>
but for things like JSON, there is no need for an EOF token, at all
<pippijn>
because it has a well-defined end of stream
djcoin has quit [Quit: WeeChat 0.4.0]
<pippijn>
what does camomile mean? how did they come up with that name? I know the plant, but why did they call a unicode library after a plant?
penryu has left #ocaml []
<Drup>
so, it's possible to put in a mli : "type bla = blu = { truc : string }" but not "type bla = blu = < truct : string >" ? Am I doing something wrong ? =O
alang has quit [Ping timeout: 245 seconds]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
alang has joined #ocaml
talzeus has joined #ocaml
darkf has joined #ocaml
carleastlund has joined #ocaml
q66 has quit [Quit: Leaving]
turnersr has quit [Quit: Leaving]
Xom has joined #ocaml
Xom has quit [Client Quit]
ygrek has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
Neros has quit [Ping timeout: 240 seconds]
yacks has quit [Ping timeout: 245 seconds]
gnuvince has joined #ocaml
gnuvince has quit [Changing host]
gnuvince has joined #ocaml
alang has quit [Ping timeout: 256 seconds]
void64 has quit [Ping timeout: 260 seconds]
yacks has joined #ocaml
turnersr has joined #ocaml
walter has joined #ocaml
alang has joined #ocaml
yacks has quit [Quit: Leaving]
<flux>
drup, I haven't tried that, but you can just use type bla = < truct : string > for the same effect.. except for compiler error messages?
<Drup>
I need to expose some type equality
<flux>
why not plain type bla = blu then?
<Drup>
because I also want to expose the inside of the type :]
<Drup>
with "type bla = blu" only, it will be opaque
manud has joined #ocaml
walter has quit [Read error: Connection reset by peer]
walter has joined #ocaml
Drup has quit [Quit: Leaving.]
<pippijn>
%%% [+2.413904s = 2.714214s] parsing user actions
<pippijn>
this takes up about half the time my parser generator needs to do its thing
<pippijn>
%%% [+1.813169s = 5.497723s] emitting ML code
<pippijn>
this also takes a lot of time
<pippijn>
the other thing that takes time is LR item set computation
<pippijn>
any ideas on how I could optimise parsing?
<pippijn>
maybe concatenate all user codes with ;; and then split them up?
<pippijn>
no, that doesn't work.. then source locations are wrong
ggole has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
testcocoon has joined #ocaml
ben_zen has quit [Ping timeout: 240 seconds]
testcocoon has quit [Ping timeout: 245 seconds]
Arsenik has joined #ocaml
walter has quit [Read error: Connection reset by peer]
walter has joined #ocaml
zpe has joined #ocaml
testcocoon has joined #ocaml
walter has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
walter has joined #ocaml
bernardofpc has quit [Ping timeout: 248 seconds]
bernardofpc has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
cyanure__ has joined #ocaml
testcocoon has quit [Ping timeout: 245 seconds]
bernardofpc has quit [Ping timeout: 264 seconds]
thomasga has joined #ocaml
zpe has joined #ocaml
ygrek has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
bernardofpc has joined #ocaml
cyanure__ has quit [Ping timeout: 240 seconds]
mcclurmc has quit [Ping timeout: 256 seconds]
zRecursive has joined #ocaml
turnersr has quit [Ping timeout: 256 seconds]
djcoin has joined #ocaml
cago has joined #ocaml
hkBst has joined #ocaml
zpe has joined #ocaml
ski has quit [Quit: Lost terminal]
zRecursive has left #ocaml []
eikke has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
chambart has joined #ocaml
testcocoon has joined #ocaml
djcoin has quit [Quit: WeeChat 0.4.0]
<pippijn>
wmeyer: treematch is broken
<pippijn>
wmeyer: it produces unparseable code if you only have 1 parse tree node
<adrien>
I was awar of extension points but not of some of the specifics
<adrien>
wmeyer: also, the patch in bug 5887 needs some high-level review
<adrien>
it's going to need an update before being applied but it needs at least a quick review
<adrien>
(I'm too used to writing "bug 1234" because at work there's a bot which triggers on that on IRC and gives the corresponding entry in mantis along with the summary :P )
void64 has joined #ocaml
menace has joined #ocaml
<menace>
will there be opam for ubuntu precise?
Snark has quit [Quit: leaving]
menace has left #ocaml []
tani has joined #ocaml
tane has quit [Disconnected by services]
tani is now known as tane
_andre has quit [Quit: leaving]
everyonemines has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
Arsenik has quit [Remote host closed the connection]
void64 has quit [Ping timeout: 248 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
void64 has joined #ocaml
mcclurmc1 has joined #ocaml
mcclurmc has quit [Read error: Connection reset by peer]
Drup has joined #ocaml
mcclurmc1 has quit [Read error: Connection reset by peer]
rwmjones has quit [Ping timeout: 264 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
mcclurmc1 has joined #ocaml
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc1 has quit [Remote host closed the connection]
testcocoon has quit [Quit: Coyote finally caught me]
tane has quit [Quit: Verlassend]
testcocoon has joined #ocaml
everyonemines has left #ocaml []
everyonemines has joined #ocaml
rwmjones has joined #ocaml
void64 has quit [Ping timeout: 248 seconds]
void64 has joined #ocaml
willb1 has quit [Ping timeout: 245 seconds]
chambart has quit [Ping timeout: 245 seconds]
void64 has quit [Ping timeout: 276 seconds]
willb1 has joined #ocaml
demonimin has quit [Ping timeout: 245 seconds]
Drup1 has joined #ocaml
demonimin has joined #ocaml
Drup has quit [Ping timeout: 260 seconds]
void64 has joined #ocaml
Obfuscate has quit [Ping timeout: 246 seconds]
skunkwerks has joined #ocaml
Obfuscate has joined #ocaml
void64 has quit [Quit: Leaving]
void64 has joined #ocaml
gbluma has quit [Remote host closed the connection]
void64 has quit [Ping timeout: 245 seconds]
structuralist has joined #ocaml
thomasga has quit [Quit: Leaving.]
void64 has joined #ocaml
mort___ has quit [Quit: Leaving.]
demonimin_ has joined #ocaml
demonimin has quit [Ping timeout: 260 seconds]
void64 has quit [Ping timeout: 264 seconds]
structuralist has quit []
ben_zen has joined #ocaml
void64 has joined #ocaml
ollehar has quit [Ping timeout: 248 seconds]
walter|r has joined #ocaml
everyonemines has quit [Ping timeout: 245 seconds]
tchell has quit [Read error: Operation timed out]
walter|r has quit [Read error: Connection reset by peer]