<mikeX>
the error message is one line off btw, I can't figure out what's the problem with this one, i'm hardly acquainted with camlp4
<ketty>
mikeX: you use the new version of camlp4?
<mikeX>
I doubt that, I saw the mailing list post as well, but I don't think that one is in debian sid already
<ketty>
ok
<mikeX>
3.09.1
<mikeX>
that's the version
<ketty>
try change loc to _loc
<mikeX>
actually, I haven't written this, maybe the one that did is ?
<ketty>
i think it used to be called loc a while ago, but than it changed into _loc
<mikeX>
wow that works, thanks ketty :)
<ketty>
np :)
<mikeX>
I didn't realize it was a reserved word
<ketty>
i think the new version does this in a more clean way...
<ketty>
at least they said it doesn't polute the global namespace anymore :)
<mikeX>
i hope it's more simple than the previous version
* ketty
hopes so too :)
nahsor has left #ocaml []
pango has quit [Read error: 145 (Connection timed out)]
Revision17 has joined #ocaml
cmeme has quit [Remote closed the connection]
pango has joined #ocaml
love-pingoo has quit ["Connection reset by by pear"]
Revision17 has quit [Connection timed out]
cmeme has joined #ocaml
finelemon has joined #ocaml
smimou has joined #ocaml
Tachyon76 has quit ["Leaving"]
finelemo1 has quit [Read error: 110 (Connection timed out)]
finelemon has quit [Read error: 110 (Connection timed out)]
finelemon has joined #ocaml
khaladan has quit [Read error: 104 (Connection reset by peer)]
vincenz has joined #ocaml
gim__ has joined #ocaml
pwned has quit ["back to the past"]
<flux__>
loc or _loc aren't reserved words, but because the compiler nowadays complains about unused identifiers (which loc often is), the behavior was changed to generate references to _loc instad of loc
<flux__>
that can be changed with a camlp4-parameter too
Boojum has joined #ocaml
Snark has quit [Read error: 110 (Connection timed out)]
Smerdyakov has joined #ocaml
pango is now known as pangoafk
pangoafk is now known as pango
chessguy has joined #ocaml
pinupgeek has joined #ocaml
pinupgeek has quit []
Boojum is now known as Snark
<flux__>
is it more gc-efficient to use streams instead of lists (for a task where lists can be replaced with streams)?
<flux__>
I'm thinking that because streams have a limitation of not being able to pull the same value out of the stream twice, there might be an optimization..
<flux__>
I mean, otherwise, why bother with that? (maybe there's a deeper reason)
<pattern>
can anyone recommend a good book on type theory? preferably one that uses *ml for examples... :)
<vincenz>
pattern: TAPLL
<vincenz>
tapl even
<vincenz>
by Bruce Pierce
<pattern>
Types and Programming Languages by Benjamin C. Pierce ?
<vincenz>
yep
<vincenz>
err Benjamin
* vincenz
coughs
<pattern>
thanks... i'll check that out
<vincenz>
it's the std for type theory afaik
<pattern>
yeah, i think i've heard it mentioned before... but i couldn't remember the name
<metaperl>
but I dont see how the the f gets connected to 'a' and 'r' ... how would you code that?
<ketty>
'a' and 'r' ?
<metaperl>
oh I think I know... each of those would be in the list a the end
<ketty>
yeah, i guess... ^^
kral has quit ["Live fast, die young."]
<metaperl>
[ Letter('f', false, [ Letter ('a', true, [ bla blah] ), Letter ('r', false, [blah blah]) ] ) ] ;;
<metaperl>
because the diagram shows 'a' and 'r' and children of 'f'
<ketty>
ok
dark_light has joined #ocaml
multani has quit ["Parti"]
<metaperl>
my attempt to connect 2 letters is not quite working: [ Letter('f', false, [ Letter ('a', true, [ bla blah] ), Letter ('r', false, [blah blah]) ] ) ] ;;
<metaperl>
oops
<metaperl>
wrong thing
<metaperl>
let connect lettera letterb = match lettera with
<metaperl>
Letter (c, b, ls) = Letter (c, b, letterb::ls) ;;
<metaperl>
can I in-place modify lettera?
<ketty>
no, i don't think so..
* ketty
is a bit confused...
<ketty>
you can only modify mutable stuff...
<ketty>
does that even complie?
<ketty>
the syntax of a match is not like that
<ketty>
in general, you don't in place modify stuff...
<metaperl>
no, it does not compile
<metaperl>
how would I syntax match that
<ketty>
what you wan't to do is to return the connected letters
<metaperl>
no
<ketty>
not try to modify things :)
<metaperl>
do you see the graph?
<ketty>
no :)
<metaperl>
yes... not modify
<metaperl>
however earlier there was an in-place modification in the calculator I think
<ketty>
yes, but we don't like that :)
<ketty>
match [expression] with [pattern] -> [expression]
<ketty>
match stuff with Letter (c, b, ls) -> Letter (c, b, letterb::ls)
<ketty>
i think
<ketty>
and then "Letter (c, b, letterb::ls)" is returned by the whole expression
<Lob-Sogular>
anyone know if it's possible to use bound parameters with the ocaml postgresql library?
* ketty
hasn't used that library...
<metaperl>
ketty: look at this code please: [15:27:22] ketty is a bit confused...