jlarocco has quit [Read error: 104 (Connection reset by peer)]
<Nutssh>
dylan: exactly. Having an argument that is conditionally used strikes me as a bit ugly. Sounds like you want 3 options. Recurse,Ignore,Keep.
vodka-goo has quit []
mikeX has quit ["Leaving"]
menace has quit []
mrsolo has quit [Read error: 104 (Connection reset by peer)]
<pango>
twobitsprite: exceptions are imperative constructs too
<ski>
effectful
ski has quit [Read error: 110 (Connection timed out)]
pango_ has joined #ocaml
pango has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
cjohnson has quit [""We live like penguins in the desert...""]
Skal has joined #ocaml
Snark has joined #ocaml
teiax has joined #ocaml
MisterC has joined #ocaml
TheDracle has joined #ocaml
Skal has quit [Read error: 60 (Operation timed out)]
twobitsprite has quit ["Lost terminal"]
TheDracle has quit [Read error: 110 (Connection timed out)]
ramkrsna has joined #ocaml
ramkrsna has quit [Read error: 110 (Connection timed out)]
ramkrsna has joined #ocaml
Submarine has joined #ocaml
ChipsterOne has joined #ocaml
__DL__ has joined #ocaml
__DL__ has quit [Client Quit]
teiax has quit [Read error: 110 (Connection timed out)]
pango_ has quit ["Client exiting"]
ChipsterOne has quit []
pango has joined #ocaml
ramkrsna has quit ["This computer has gone to sleep"]
ramkrsna has joined #ocaml
ChipsterOne has joined #ocaml
Snark has quit ["Leaving"]
ChipsterOne is now known as Chipster1
revision17_ has joined #ocaml
Snark has joined #ocaml
Chipster1 has quit []
vezenchio has joined #ocaml
ChipsterOne has joined #ocaml
ChipsterOne has quit [Read error: 104 (Connection reset by peer)]
Chipster__ has joined #ocaml
Chipster__ is now known as Chipster1
Revision17 has quit [Read error: 110 (Connection timed out)]
rohitj has joined #ocaml
vodka-goo has joined #ocaml
rohitj has quit ["BitchX: it tastes like poo"]
ramkrsna has quit ["This computer has gone to sleep"]
ramkrsna has joined #ocaml
brx has joined #ocaml
Chipster1 has quit []
brx_ has joined #ocaml
brx has quit [Nick collision from services.]
brx_ is now known as brx
brx has quit ["leaving"]
ramkrsna has quit [Remote closed the connection]
Submarine has quit [Remote closed the connection]
Submarine has joined #ocaml
ChipsterOne has joined #ocaml
brx has joined #ocaml
ChipsterOne is now known as Chipster1
oracle1 has quit [Remote closed the connection]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Snark has quit ["Leaving"]
smimou has joined #ocaml
Snark has joined #ocaml
albertelegance has quit [Read error: 110 (Connection timed out)]
vezenchio has quit ["\o/ yume o oikaketara egao to namida no kazu DON-DON fuete iku koto shitte iru kedo \o/"]
vezenchio has joined #ocaml
mikeX has joined #ocaml
vezenchio has quit ["\o/ toki ni wa motto watashi rashiku kaze o kanjitai - dare demo nai watashi no mirai o mitsuketakute \o/"]
mikeX has quit ["Leaving"]
Snark has quit ["Leaving"]
vezenchio has joined #ocaml
Snark has joined #ocaml
batdog|gone is now known as batdog
albertelegance has joined #ocaml
vezenchio has quit ["\o/ toki ni wa motto watashi rashiku kaze o kanjitai - dare demo nai watashi no mirai o mitsuketakute \o/"]
vezenchio has joined #ocaml
Chipster1 has quit []
sethk has left #ocaml []
Snark has quit ["Leaving"]
Snark has joined #ocaml
ChipsterOne has joined #ocaml
teiax has joined #ocaml
pango has quit ["Leaving"]
pango has joined #ocaml
threeve has joined #ocaml
teiax has quit [Read error: 104 (Connection reset by peer)]
teiax has joined #ocaml
threeve has quit []
shirogane has joined #ocaml
aegray has quit [Read error: 110 (Connection timed out)]
aegray has joined #ocaml
Submarine has quit [Remote closed the connection]
Submarine has joined #ocaml
mikeX has joined #ocaml
mikeX has quit ["Leaving"]
aegray has quit [Read error: 110 (Connection timed out)]
Kerjean has joined #ocaml
<Kerjean>
hello everybody, bonjour tout le monde !
ChipsterOne has quit [Read error: 104 (Connection reset by peer)]
Kerjean has quit ["Vision[0.8.5-0418]: i've been blurred!"]
UziMonkey has joined #ocaml
Snark has quit ["Leaving"]
teiax has quit [Read error: 110 (Connection timed out)]
Demitar has joined #ocaml
mattam has quit [Read error: 104 (Connection reset by peer)]
Banana has quit [Read error: 104 (Connection reset by peer)]
Banana has joined #ocaml
mattam has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
Submarine has quit ["Leaving"]
vezenchio has quit ["\o/ toki ni wa motto watashi rashiku kaze o kanjitai - dare demo nai watashi no mirai o mitsuketakute \o/"]
teiax has joined #ocaml
<chs_>
Hi, I have a question regarding polymorphic variants: Type inference for some automatically generated code produces poly var types with like [< A of 'a * 'b & string * 'c | ... ]. Where is the meaning of "&" documented?
<beschmi>
it's described in file:///home/steele/opt/godi/doc/godi-ocaml-manual/html/manual006.html - Advanced use. in short there is a conflict and you can't use `A because the second element in the triple should be both 'b and string
<Smerdyakov>
Why are you using polymorphic variants? They seem to me to be nothing more than an excuse to generate horrible error messages.
<beschmi>
oh, you have to find the right url for the manual ;)
shirogane has quit [Remote closed the connection]
_batdog has joined #ocaml
MisterC has quit [Remote closed the connection]
<chs_>
Thanks, I must have overlooked that.
batdog has quit [Read error: 110 (Connection timed out)]
<chs_>
Smerdyakov: I'm working with abstract syntax trees and PVs seem to be the standard way of encoding ASTs. Although I agree that the error messages are quite horrible.