FreeBirdLjj has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
brunoro has joined #ocaml
alienbot has quit [Ping timeout: 256 seconds]
<aantron>
toolslive: the first PR has a build failure, not sure if it is spurious or not - but maybe that is why it wasnt merged already?
voglerr has quit [Read error: Connection reset by peer]
voglerr has joined #ocaml
<aantron>
the second is an hour old, i guess it will get merged soon
<aantron>
(in some hours, sometimes a day or more..)
<toolslive>
it's a build failure on osx.... which is not supported.
FreeBirdLjj has joined #ocaml
alienbot has joined #ocaml
<aantron>
figured, maybe someone should point that out? also, i dont recall exactly, but i think adding os = "linux" to available: in opam will cause a "vacuous" success of the osx build
<aantron>
going to read the code opam-repository runs for this..
alienbot has quit [Ping timeout: 252 seconds]
alienbot has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<toolslive>
thx. we updated the opam file. let's see what that gives.
<aantron>
i think you have too many &'s :p
<toolslive>
yeah. told him that too.
<toolslive>
ocaml people should make up their mind about && and & and be consistent when they invent new syntax for something.
AlexDenisov has joined #ocaml
<aantron>
certainly would be nice
<flux>
& is deprecated, no?
dhil has quit [Ping timeout: 256 seconds]
ggole_ has joined #ocaml
<companion_cube>
it's been deprecated for years, I think?
<aantron>
flux: not in opam file syntax :p
<flux>
well that's not ocaml, is it ;)
<aantron>
no, but its somewhat annoying :)
<toolslive>
made by the same people for the same eco system.... no ?
<flux>
I think && is just fine for the language, due to similarity with other languages, and & is fine for declarative languages, because & is really what it should be :)
<flux>
(though I wouldn't mind if it was && that was deprecated instead)
alienbot_ has joined #ocaml
ggole__ has quit [Ping timeout: 252 seconds]
<aantron>
speculating, but i think & eventually got in trouble because of | not being available for or
<aantron>
and "or" got in trouble because "and" is not available for and :p
AlexRussia has quit [Ping timeout: 250 seconds]
alienbot has quit [Ping timeout: 256 seconds]
<flux>
:-)
<flux>
I guess that's perfectly logical
ggole_ has quit [Ping timeout: 260 seconds]
<aantron>
it may be wrong, but its how i came to terms with it :)
ggole_ has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ggole__ has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
<aantron>
and yeah it would have been nicer imo for opam syntax to be consistent with ocaml. human memory is better used for other things than remembering this difference
ggole_ has quit [Ping timeout: 260 seconds]
<flux>
also ocamlbuild uses &, iirc
<companion_cube>
cmdliner does, too, I think
voglerr has quit [Remote host closed the connection]
<toolslive>
I think it's a typical "selon l'humeur" ;)
<flux>
not for 'and', though, rather like 'combine'
alienbot_ has quit [Quit: No Ping reply in 180 seconds.]
AlexDenisov has joined #ocaml
alienbot has joined #ocaml
<aantron>
they seem to be application operators, like 4.01's @@. didnt think about associativity though
ggole_ has joined #ocaml
ggole__ has quit [Ping timeout: 252 seconds]
dhil has joined #ocaml
julian__ has joined #ocaml
alienbot has quit [Quit: No Ping reply in 180 seconds.]
alienbot has joined #ocaml
nicoo has quit [Ping timeout: 260 seconds]
_andre has joined #ocaml
alienbot has quit [Quit: No Ping reply in 180 seconds.]
alienbot has joined #ocaml
alienbot has quit [Ping timeout: 245 seconds]
alienbot_ has joined #ocaml
nicoo has joined #ocaml
voglerr has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
grayswandyr has joined #ocaml
conrad4 has joined #ocaml
<grayswandyr>
hi. I'm looking for an example of how to use PPrint with (optional) colorful output. As PPrint has a Format.formatter-based renderer, I have tried to use Containers' CCFormat color managemento create a new colorful renderer but without success.
<grayswandyr>
I'd like to be able to set different colors for different PPrrint.documents
<grayswandyr>
toolslive: yes thank you. Meanwhile I have found a way to do this, like the one you show (with escape codes). Not as nice as using CCFormat's with_color though.
<grayswandyr>
so it works. However, if someone knows how to do this with CCFormat functions, I'll be interested to know
alienbot_ has quit [Ping timeout: 260 seconds]
<grayswandyr>
The point is: with CCFormat, I write with_colorf "Blue" out "%s %d" "yolo" and it just works. Besides, without modifying this but just calling 'set_color_default false', with_colorf works as the classical fprintf
<grayswandyr>
(gotta go I'll be back later)
grayswandyr has quit [Quit: Page closed]
alienbot has joined #ocaml
brunoro has quit [Ping timeout: 256 seconds]
ggole__ has joined #ocaml
ggole_ has quit [Ping timeout: 256 seconds]
kakadu_ has joined #ocaml
brunoro has joined #ocaml
ggole has joined #ocaml
ggole__ has quit [Ping timeout: 256 seconds]
sillyotter has joined #ocaml
fUD has quit [Quit: Connection closed for inactivity]
brunoro has quit [Ping timeout: 260 seconds]
ggole_ has joined #ocaml
ggole__ has joined #ocaml
ggole has quit [Ping timeout: 245 seconds]
Sakarah has joined #ocaml
ggole_ has quit [Ping timeout: 250 seconds]
alienbot has quit [Ping timeout: 256 seconds]
alienbot has joined #ocaml
alienbot has quit [Ping timeout: 256 seconds]
sillyotter has quit [Quit: WeeChat 1.5]
brunoro has joined #ocaml
ggole__ has quit [Ping timeout: 265 seconds]
djellemah has quit [Quit: Leaving]
<toolslive>
is make all in testsuite/ supposed to succeed for ocaml trunk ?
brunoro has quit [Ping timeout: 245 seconds]
julian__ has quit [Ping timeout: 250 seconds]
AlexDenisov has joined #ocaml
yomimono has joined #ocaml
octachron has joined #ocaml
<octachron>
toolslive: I would say yes. At least it works for me on current trunk
brunoro has joined #ocaml
jbrown has quit [Quit: Leaving]
ygrek has quit [Ping timeout: 256 seconds]
Sakarah has quit [Quit: No Ping reply in 180 seconds.]
Sakarah has joined #ocaml
AlexRussia has joined #ocaml
grayswandyr has joined #ocaml
voglerr has quit [Remote host closed the connection]
voglerr has joined #ocaml
wu_ng has quit [Ping timeout: 256 seconds]
voglerr_ has joined #ocaml
voglerr has quit [Read error: Connection reset by peer]
conrad4 has joined #ocaml
conrad4 has quit [Ping timeout: 252 seconds]
voglerr_ has quit [Remote host closed the connection]
voglerr has joined #ocaml
voglerr has quit [Remote host closed the connection]
voglerr has joined #ocaml
voglerr has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 260 seconds]
ansiwen has quit [Ping timeout: 248 seconds]
ansiwen has joined #ocaml
julian__ has joined #ocaml
voglerr has joined #ocaml
petroav_ has joined #ocaml
jbrown has joined #ocaml
Ravana has joined #ocaml
noddy has quit [Ping timeout: 244 seconds]
mal`` has quit [Remote host closed the connection]
<toolslive>
hm, trunk on 3e8a4a6de48e1422efb93b3ee0b85ec0d1107c0a has 7 failed tests for me.
FreeBirdLjj has joined #ocaml
<toolslive>
(that's the latest commit on trunk)
groovy3shoes has joined #ocaml
agarwal1975 has joined #ocaml
dhil has joined #ocaml
jao has joined #ocaml
nomicflux has joined #ocaml
slash^ has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mal`` has joined #ocaml
zpe has quit [Remote host closed the connection]
petroav_ has quit [Ping timeout: 260 seconds]
yomimono has quit [Ping timeout: 244 seconds]
<grayswandyr>
hi following my questions from this morning... so I'm trying to use PPrint and to be able to choose *at printing time* whether it uses a colorful output or not. I know how to do this at document-definition time, e.g. (using CCFormat): let doc = PPrint.fancystring (CCFormat.sprintf "@{<White>toto@}") 4;; (Just use sprintf_no_color, instead, to disable colors). Now, I'd like to make juste one definition and then, only when calling
<grayswandyr>
formatter ignore color tags
smondet has joined #ocaml
chindy has joined #ocaml
nomicflux has quit [Quit: nomicflux]
FreeBirdLjj has quit [Remote host closed the connection]
<companion_cube>
sorry, I missed your question earlier
<companion_cube>
I didn't really think of disabling/enabling colors on the fly
<companion_cube>
grayswandyr: would something like `sprintf_color_if : bool -> ('a, t, unit, string) format4 -> 'a
<companion_cube>
` be ok for you?
<companion_cube>
so you can pass a boolean to pick whether it's colored or not at runtime?
AlexDenisov has joined #ocaml
<grayswandyr>
companion_cube: anyhow this would be nice. But the problem would not be solved I think.
<grayswandyr>
you see:
<grayswandyr>
with PPrint, you have two steps: one is buidling a so-called document, the second is pretty-printing it
<companion_cube>
hmm hmm
<grayswandyr>
sprintf_color_if would be called at document building
shinnya has joined #ocaml
<grayswandyr>
while I'd like to intercept the printing and remove or interpret color tags on the fly
<companion_cube>
if you have `PPrint.foo : formatter -> Pprint.t -> unit`, you can all `sprintf_color_if b "%a" PPrint.foo the_doc`
<grayswandyr>
besides PPrint does not use Xprintf directly
<Drup>
in Fmt, there is a sub module, Dump that format datatypes similarly to what they look like in OCaml
<companion_cube>
grayswandyr: just follow the boxes, really?
<companion_cube>
there is an indenting break for the test after `if`
<companion_cube>
but it doesn't indent the `then` and `else` branches
<grayswandyr>
I know one can read this
<companion_cube>
Drup: ok, interesting
<Drup>
grayswandyr: why do you have 2 boxes one inside another
<grayswandyr>
I'm just saying I prefer not having to write cryptic strings (it's easy to miss a space or an @), neither to mix this with calls to fprintf out, nor format strings ala %a (which, BTW, I like very much for short print)
<Drup>
@[<hv>@[<2> ... @]@]
<Drup>
that's ... useless ?
<companion_cube>
no that's not useless
<companion_cube>
the outer box aligns `if`,`then` and `else`
<companion_cube>
the inner box can put the test on its own line, but indented
<Drup>
oh, nevermind, it closes
<grayswandyr>
Ah!
freusque has quit [Ping timeout: 250 seconds]
<companion_cube>
I didn't write this on the first draft ofc, it's iterative
freusque has joined #ocaml
<companion_cube>
but overall, just see @[ @] as parenthesis
<Drup>
(I would extract that in it's own pp_ite combinator, tbh
<grayswandyr>
this is why I like verbose combinators :)
<companion_cube>
Drup: it's the only place I need this
<Drup>
grayswandyr: I have used verbose combinators extensively for quite complicated languages, it's not better
<companion_cube>
(notice the alignments and indentations)
<grayswandyr>
anyway. My question was rather whether you'd see how to intercept output to CCFormat.stdout and perform color managment at this moment only
<grayswandyr>
companion_cube: nice indeed
<Drup>
CCFormat's color management uses tags, right ?
<companion_cube>
yes
<companion_cube>
and a stack, so it nests properly
<companion_cube>
(♥ closures)
wu_ng has joined #ocaml
<Drup>
Format.pp_set_tags false ppf ?
Mercuria1Alchemi has quit [Ping timeout: 252 seconds]
<Drup>
(before printing)
<companion_cube>
but I think the issue is that everything is already turned into strings in the Pprint.t
<Drup>
that would be an issue
<companion_cube>
indeed.
<companion_cube>
(well, you can look for ansi escape codes and filter them out)
<companion_cube>
(that's a terrible hack though)
noddy has joined #ocaml
<Drup>
the issue with pp_set_tags is that it's also not threadsafe if you apply it to stdin
<grayswandyr>
right. indeed Format.pp_set_tags false doesn't do it
<grayswandyr>
alright I found a way to circumvent this
freusque has quit [Ping timeout: 256 seconds]
<companion_cube>
is there something you would want to add to CCFormat to help?
<companion_cube>
next release should be within 2 months? :p
<grayswandyr>
I have my workaround so...
<grayswandyr>
Drup: thank you too
Lightsephi has joined #ocaml
jao has quit [Ping timeout: 250 seconds]
al-damiri has joined #ocaml
alfredo has quit [Ping timeout: 245 seconds]
yomimono has quit [Ping timeout: 244 seconds]
yomimono has joined #ocaml
jbrown has quit [Quit: Leaving]
voglerr_ has joined #ocaml
voglerr has quit [Read error: Connection reset by peer]
shinnya has quit [Ping timeout: 256 seconds]
teiresias has quit [Quit: Leaving.]
kakadu_ has left #ocaml ["Konversation terminated!"]
kakadu_ has joined #ocaml
libertas_ has quit [Ping timeout: 252 seconds]
grayswandyr has quit [Quit: Page closed]
okuu has joined #ocaml
libertas has joined #ocaml
teiresias has joined #ocaml
<orbifx1>
is there a way to determine that size of a package including dependencies with opam?
<orbifx1>
also any opinion on plplot vs gnuplot?
bitbckt has quit [Ping timeout: 258 seconds]
jao has joined #ocaml
bitbckt has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
jbrown has joined #ocaml
freusque has quit [Quit: WeeChat 1.4]
orbifx has joined #ocaml
orbifx has quit [Client Quit]
sh0t has joined #ocaml
orbifx1 has quit [Quit: WeeChat 1.6]
yomimono has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
jnavila has quit [Quit: It was time]
voglerr has joined #ocaml
voglerr_ has quit [Read error: Connection reset by peer]
tristero has joined #ocaml
veggie_ has joined #ocaml
yomimono has joined #ocaml
th5 has joined #ocaml
toolslive has quit [Ping timeout: 260 seconds]
voglerr has quit [Remote host closed the connection]
conrad4 has joined #ocaml
larhat has quit [Quit: Leaving.]
conrad4 has quit [Ping timeout: 260 seconds]
toolslive has joined #ocaml
groovy2shoes has quit [Ping timeout: 245 seconds]
voglerr has joined #ocaml
groovy3shoes has quit [Ping timeout: 256 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
brunoro has joined #ocaml
voglerr has quit [Ping timeout: 256 seconds]
brunoro has quit [Ping timeout: 256 seconds]
groovy2shoes has joined #ocaml
groovy3shoes has joined #ocaml
wu_ng has quit [Read error: Connection reset by peer]
wu_ng has joined #ocaml
ollehar has joined #ocaml
ollehar has quit [Client Quit]
rgrinberg has quit [Remote host closed the connection]
jwatzman|work has quit [Quit: jwatzman|work]
yomimono has quit [Ping timeout: 245 seconds]
octachron has quit [Quit: Page closed]
rgrinberg has joined #ocaml
yomimono has joined #ocaml
Algebr has quit [Ping timeout: 244 seconds]
Simn has quit [Quit: Leaving]
jg_ has joined #ocaml
toolslive has quit [Ping timeout: 260 seconds]
nomicflux has joined #ocaml
<jg_>
hi all. I'm trying to decipher some OCaml code: https://github.com/jg/tapl/blob/master/untyped/syntax.mli#L20 . There's this 'type context' declaration without a right hand side to which we later assign 'let emptycontext: context = []' (in syntax.ml). How the heck does that work?
<jg_>
i'd expect 'type context = List' or something
AltGr has left #ocaml [#ocaml]
pierpa has joined #ocaml
<thizanne>
jg_: this file says to the other modules "here is how you can use the Syntax module"
<thizanne>
in particular, it says that the Syntax.context type exists, but not what it is made of
smondet has quit [Ping timeout: 245 seconds]
<thizanne>
so the other modules should use like Syntax.emptycontext to build context values
<thizanne>
however, inside your Syntax module (which means in your syntax.ml file), you know how it is built
<thizanne>
so you probably have type context = (something) list in syntax.ml
<jg_>
thizanne: oh, so those mli files are like header files in C? So if i want to read up on this i should look under 'OCaml module system', right?
<thizanne>
it's exactly the same as the type term just before
<thizanne>
except here, there is only one constructor (NameBind), and it takes no parameter
brunoro has quit [Ping timeout: 252 seconds]
<thizanne>
(you can syntactically make the difference between defining a new type with its variants and aliasing an already existing type : constructors start with an uppercase letter, types start with a lowercase letter)
yomimono has quit [Ping timeout: 245 seconds]
AlexDenisov has joined #ocaml
<jg_>
so it's a very very boring type which is always NameBind? I'm trying to understand the use case for it
rgrinberg has quit [Remote host closed the connection]
Onemorenickname has joined #ocaml
<Onemorenickname>
Hi people
<Onemorenickname>
I have an AST in a given syntax
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
<Onemorenickname>
And with rewriting rules, I want to transform it to a simpler syntax
<Onemorenickname>
At first, I made an ADT type for the first syntax, and an other for the final one
<Onemorenickname>
But the problem is that it won't let me specify intermediate properties
<aantron>
Onemorenickname: you can't specify "complex_type without A" directly
<Onemorenickname>
aantron, is there an other way to do so, with GADT for instance ?
<aantron>
one possibility though is to use polymorphic variants. define "complex_type without A" first, suppose it's "type complex_type'"
<aantron>
then you can have something like "type complex_type = [ complex_type' | `A ]"
<Onemorenickname>
(Because I actually have more than one intermediate types)
<Onemorenickname>
Oh. Polymorphic variants.
<Onemorenickname>
Did not think about that.
<aantron>
yeah this is a common problem when working with ASTs, i remember having it myself. I was much newer to OCaml back then though, and my best solution then was just to use assert false/wildcard cases when matching. its not a very good one :)
<Onemorenickname>
aantron, the false/wildcard is not possible, actually, it's not one type, but two interdependent types, and for the rewriting, I have to go several layers deep
orbifx has joined #ocaml
<Onemorenickname>
So I can't afford the luxury of checking every cases by myself
<aantron>
hm, ok, hard to say without seeing the example, but i suppose that could make it impractical
<Onemorenickname>
aantron, basically, i want to translate CTL+ to CTL (logics)
<aantron>
but anyway i would prefer a solution that actually gives lots of exact types that can be easily defined in terms of each other, without introducing layered constructors, and i think polymorphic variants may help there
<Onemorenickname>
and there are path formulas, and states formulas, which definitions are interdependant
<Onemorenickname>
yep, that's why I'm going to check the doc, thanks for the hint :)
<aantron>
ok. curious if it works out, so let me/us know :)
<Onemorenickname>
aantron, no problem, if it does not, maybe i'll try f* ?
Algebr has joined #ocaml
<aantron>
first time i hear of it, looks interesting
<Onemorenickname>
(its ocaml with an smt solver basically)
brunoro has joined #ocaml
ygrek has joined #ocaml
conrad4 has joined #ocaml
sh0t has joined #ocaml
brunoro has quit [Ping timeout: 244 seconds]
<Onemorenickname>
aantron, I can not specify two interdepetends types with polymorphic variants :'(
conrad4 has quit [Ping timeout: 245 seconds]
<Onemorenickname>
oh, my bad
<Onemorenickname>
wait some more :D
<average>
polywhat?
<average>
oh well.. maybe i'll find out some day
dreadedfrog_wut has joined #ocaml
<Onemorenickname>
aantron, i won't have time to finish now, g2g, but here what I got so far :
<Onemorenickname>
aantron, unfortunately, I have to stop now, but, my function which removes "`A" has the right type inferred. :)
eh_eff has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
<aantron>
Onemorenickname: taking a look, good you're making progress :)
<maurer>
a/go 24
<aantron>
btw (probably you already know) in case of polymorphic variants, its often a good idea to constrain the types of your functions to make them more legible. often this happens anyway if you have a signature somewhere
brunoro has joined #ocaml
veggie_ has quit [Ping timeout: 244 seconds]
ollehar has quit [Quit: ollehar]
brunoro has quit [Ping timeout: 260 seconds]
soupault has joined #ocaml
jao has quit [Ping timeout: 250 seconds]
kakadu has joined #ocaml
eh_eff has joined #ocaml
Algebr has quit [Ping timeout: 260 seconds]
noddy has quit [Ping timeout: 244 seconds]
_andre has quit [Quit: leaving]
slash^ has quit [Read error: Connection reset by peer]
rgrinberg has quit [Remote host closed the connection]
dreadedfrog_wut has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
veggie_ has joined #ocaml
<Onemorenickname>
aantron : I did it for the function which removes the "`A" ^^
<Onemorenickname>
(I have some more time now, so I will continue)
<Onemorenickname>
(The following transformations are harder though)
soupault has quit [Remote host closed the connection]
teiresias has quit [Ping timeout: 256 seconds]
cpdean has joined #ocaml
brunoro has joined #ocaml
dreadedfrog_wut has joined #ocaml
veggie_ has quit [Ping timeout: 252 seconds]
conrad4 has joined #ocaml
brunoro has quit [Ping timeout: 256 seconds]
veggie_ has joined #ocaml
conrad4 has quit [Ping timeout: 252 seconds]
teiresias has joined #ocaml
jg_ has quit [Read error: Connection reset by peer]
teiresias has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
th5 has quit [Remote host closed the connection]
mk270 has left #ocaml [#ocaml]
Simn has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
struktured has quit [Ping timeout: 256 seconds]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
teiresias has joined #ocaml
noddy has joined #ocaml
cakeplus has quit [Quit: leaving]
julian_ has joined #ocaml
chindy_ has joined #ocaml
rgrinberg has joined #ocaml
julian__ has quit [Ping timeout: 244 seconds]
chindy has quit [Ping timeout: 260 seconds]
rgrinberg has left #ocaml [#ocaml]
rgrinberg has joined #ocaml
tristero has quit [Quit: WeeChat 1.6]
agarwal1975 has quit [Ping timeout: 256 seconds]
Sakarah has quit [Ping timeout: 252 seconds]
dhil has quit [Ping timeout: 252 seconds]
brunoro has joined #ocaml
conrad4 has joined #ocaml
eh_eff has quit [Ping timeout: 250 seconds]
Heasummn has joined #ocaml
brunoro has quit [Ping timeout: 250 seconds]
conrad4 has quit [Ping timeout: 250 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
petroav_ has joined #ocaml
Nahra has quit [Read error: Connection reset by peer]
Nahra has joined #ocaml
cpdean has quit [Ping timeout: 265 seconds]
Onemorenickname has quit [Read error: Connection reset by peer]
teiresias has quit [*.net *.split]
Ravana has quit [*.net *.split]
zv has quit [*.net *.split]
madroach has quit [*.net *.split]
infinity0 has quit [*.net *.split]
rseymour has quit [*.net *.split]
ski has quit [*.net *.split]
notdan has quit [*.net *.split]
kandu has quit [*.net *.split]
maker has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
gustav___ has quit [*.net *.split]
Leonidas has quit [*.net *.split]
wagle has quit [*.net *.split]
hnrgrgr has joined #ocaml
Leonidas has joined #ocaml
zpe has quit [*.net *.split]
Simn has quit [*.net *.split]
pierpa has quit [*.net *.split]
jbrown has quit [*.net *.split]
nicoo has quit [*.net *.split]
sfri has quit [*.net *.split]
ia0 has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
cdidd has quit [*.net *.split]
johnelse has quit [*.net *.split]
M-pesterhazy has quit [*.net *.split]
M-jimt has quit [*.net *.split]
lpw25[m] has quit [*.net *.split]
noplamodo has quit [*.net *.split]
menasw has quit [*.net *.split]
yunxing has quit [*.net *.split]
dch has quit [*.net *.split]
emmanueloga has quit [*.net *.split]
rfv has quit [*.net *.split]
jkni has quit [*.net *.split]
adelbertc has quit [*.net *.split]
l1x has quit [*.net *.split]
Jaxan has quit [*.net *.split]
clockish has quit [*.net *.split]
rom1504 has quit [*.net *.split]
rbocquet has quit [*.net *.split]
struk|desk2 has quit [*.net *.split]
myst|fon has quit [*.net *.split]
yminsky has quit [*.net *.split]
rossberg has quit [*.net *.split]
lopex has quit [*.net *.split]
Nahra has quit [*.net *.split]
Heasummn has quit [*.net *.split]
nomicflux has quit [*.net *.split]
srcerer has quit [*.net *.split]
chelfi has quit [*.net *.split]
al-damiri has quit [*.net *.split]
mal`` has quit [*.net *.split]
AlexRussia has quit [*.net *.split]
Sorella has quit [*.net *.split]
shakalaka has quit [*.net *.split]
cross has quit [*.net *.split]
Guest23668[m] has quit [*.net *.split]
timclassic has quit [*.net *.split]
clog has quit [*.net *.split]
maufred has quit [*.net *.split]
sz0 has quit [*.net *.split]
mrallen1 has quit [*.net *.split]
banjiewen has quit [*.net *.split]
lpaste has quit [*.net *.split]
_2can has quit [*.net *.split]
bbc has quit [*.net *.split]
jeroud has quit [*.net *.split]
parataxis has quit [*.net *.split]
alpen has quit [*.net *.split]
caw has quit [*.net *.split]
regnat_ has quit [*.net *.split]
flux has quit [*.net *.split]
iZsh_ has quit [*.net *.split]
_habnabit has quit [*.net *.split]
Cypi has quit [*.net *.split]
tg has quit [*.net *.split]
grandy has quit [*.net *.split]
grandy____ has quit [*.net *.split]
chris2 has quit [*.net *.split]
strmpnk has quit [*.net *.split]
jmct has quit [*.net *.split]
jcloud has quit [*.net *.split]
troydm has quit [*.net *.split]
andreypopp has quit [*.net *.split]
bigs has quit [*.net *.split]
mbrock has quit [*.net *.split]
Merv has quit [*.net *.split]
Guest71678 has quit [*.net *.split]
sspi has quit [*.net *.split]
stephe has quit [*.net *.split]
reynir has quit [*.net *.split]
cyraxjoe has quit [*.net *.split]
mcspud has quit [*.net *.split]
breitenj has quit [*.net *.split]
jave has quit [*.net *.split]
dmiller has quit [*.net *.split]
ohama has quit [*.net *.split]
obadz has quit [*.net *.split]
jrslepak has quit [*.net *.split]
MorTal1ty has quit [*.net *.split]
mankyKitty has quit [*.net *.split]
mg- has quit [*.net *.split]
rks`_ has quit [*.net *.split]
theolaurent has quit [*.net *.split]
avsej has quit [*.net *.split]
engil has quit [*.net *.split]
unbalanced has quit [*.net *.split]
def` has quit [*.net *.split]
evhan has quit [*.net *.split]
vodkaInferno has quit [*.net *.split]
vbmithr has quit [*.net *.split]
Leonidas has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
ansiwen has quit [*.net *.split]
jmiven has quit [*.net *.split]
average has quit [*.net *.split]
mrvn has quit [*.net *.split]
cow-orker has quit [*.net *.split]
Enjolras has quit [*.net *.split]
Orion3k has quit [*.net *.split]
Soni has quit [*.net *.split]
inr has quit [*.net *.split]
Armael has quit [*.net *.split]
nathanielc_ has quit [*.net *.split]
jimt has quit [*.net *.split]
sgronblo has quit [*.net *.split]
cthuluh has quit [*.net *.split]
asmanur has quit [*.net *.split]
apache2_ has quit [*.net *.split]
ahf has quit [*.net *.split]
tobiasBora has quit [*.net *.split]
Hakey has quit [*.net *.split]
MasseR has quit [*.net *.split]
pippijn has quit [*.net *.split]
aggelos__ has quit [*.net *.split]
srax has quit [*.net *.split]
patronus has quit [*.net *.split]
spion has quit [*.net *.split]
arc- has quit [*.net *.split]
gregoire has quit [*.net *.split]
Khady has quit [*.net *.split]
pitastrudl has quit [*.net *.split]
sh0t has quit [*.net *.split]
MercurialAlchemi has quit [*.net *.split]
freehck has quit [*.net *.split]
tobast has quit [*.net *.split]
eikke has quit [*.net *.split]
averell has quit [*.net *.split]
groovy2shoes has quit [*.net *.split]
libertas has quit [*.net *.split]
copy` has quit [*.net *.split]
okuu has quit [*.net *.split]
artart78 has quit [*.net *.split]
bacam has quit [*.net *.split]
fraggle-boate has quit [*.net *.split]
barkmadley[m] has quit [*.net *.split]
diamaths[m] has quit [*.net *.split]
regnat[m] has quit [*.net *.split]
srenatus[m] has quit [*.net *.split]
bugabinga[m] has quit [*.net *.split]
fluter has quit [*.net *.split]
lobo has quit [*.net *.split]
mehdib has quit [*.net *.split]
mattg has quit [*.net *.split]
atsampson has quit [*.net *.split]
dlat has quit [*.net *.split]
chenglou has quit [*.net *.split]
ggherdov has quit [*.net *.split]
bronsen has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
igitoor has quit [*.net *.split]
vinoski has quit [*.net *.split]
zaquest has quit [*.net *.split]
cschneid has quit [*.net *.split]
jyc has quit [*.net *.split]
tane has quit [*.net *.split]
kakadu has quit [*.net *.split]
groovy3shoes has quit [*.net *.split]
bitbckt has quit [*.net *.split]
Lightsephi has quit [*.net *.split]
axiles has quit [*.net *.split]
rpcope has quit [*.net *.split]
Muzer has quit [*.net *.split]
adi___ has quit [*.net *.split]
M-ErkkiSeppl has quit [*.net *.split]
M-martinklepsch has quit [*.net *.split]
M-Illandan has quit [*.net *.split]
Bluddy[m] has quit [*.net *.split]
jun has quit [*.net *.split]
cantstanya has quit [*.net *.split]
zaltekk has quit [*.net *.split]
SaidinWoT has quit [*.net *.split]
Drup has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
wu_ng has quit [*.net *.split]
demonimin has quit [*.net *.split]
luzie has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
SIGILL has quit [*.net *.split]
maker has joined #ocaml
NhanH has quit [Ping timeout: 258 seconds]
madroach has joined #ocaml
cpdean has joined #ocaml
Lightsephi has joined #ocaml
kakadu has joined #ocaml
bitbckt has joined #ocaml
groovy3shoes has joined #ocaml
M-ErkkiSeppl has joined #ocaml
smondet has joined #ocaml
rpcope has joined #ocaml
M-Illandan has joined #ocaml
adi___ has joined #ocaml
tane has joined #ocaml
axiles has joined #ocaml
Muzer has joined #ocaml
teiresias has joined #ocaml
Bluddy[m] has joined #ocaml
zaltekk has joined #ocaml
Drup has joined #ocaml
jun has joined #ocaml
SaidinWoT has joined #ocaml
M-martinklepsch has joined #ocaml
pierpa has joined #ocaml
Simn has joined #ocaml
menasw has joined #ocaml
cdidd has joined #ocaml
Jaxan has joined #ocaml
M-pesterhazy has joined #ocaml
cantstanya has joined #ocaml
noplamodo has joined #ocaml
jbrown has joined #ocaml
fraggle_ has joined #ocaml
johnelse has joined #ocaml
nicoo has joined #ocaml
zpe has joined #ocaml
rbocquet has joined #ocaml
ia0 has joined #ocaml
sfri has joined #ocaml
lpw25[m] has joined #ocaml
yunxing has joined #ocaml
myst|fon has joined #ocaml
clockish has joined #ocaml
M-jimt has joined #ocaml
rossberg has joined #ocaml
rom1504 has joined #ocaml
mrvn has joined #ocaml
jmiven has joined #ocaml
Soni has joined #ocaml
zv has joined #ocaml
aggelos__ has joined #ocaml
pippijn has joined #ocaml
tobiasBora has joined #ocaml
patronus has joined #ocaml
sgronblo has joined #ocaml
nathanielc_ has joined #ocaml
average has joined #ocaml
arc- has joined #ocaml
rseymour has joined #ocaml
Armael has joined #ocaml
Leonidas has joined #ocaml
Orion3k has joined #ocaml
apache2_ has joined #ocaml
jimt has joined #ocaml
rgrinberg has joined #ocaml
MasseR has joined #ocaml
spion has joined #ocaml
inr has joined #ocaml
cthuluh has joined #ocaml
ansiwen has joined #ocaml
asmanur has joined #ocaml
Enjolras has joined #ocaml
ahf has joined #ocaml
Hakey has joined #ocaml
cow-orker has joined #ocaml
pitastrudl has joined #ocaml
Khady has joined #ocaml
gregoire has joined #ocaml
srax has joined #ocaml
notdan has joined #ocaml
nomicflux has joined #ocaml
chelfi has joined #ocaml
Heasummn has joined #ocaml
kandu has joined #ocaml
wagle has joined #ocaml
ski has joined #ocaml
averell has joined #ocaml
jpdeplaix has joined #ocaml
SIGILL has joined #ocaml
luzie has joined #ocaml
demonimin has joined #ocaml
wu_ng has joined #ocaml
hnrgrgr has joined #ocaml
obadz has joined #ocaml
regnat_ has joined #ocaml
alpen has joined #ocaml
shakalaka has joined #ocaml
jave has joined #ocaml
jeroud has joined #ocaml
maufred has joined #ocaml
igitoor has joined #ocaml
diamaths[m] has joined #ocaml
mattg has joined #ocaml
cpdean has quit [Ping timeout: 256 seconds]
cpdean has joined #ocaml
igitoor has quit [Ping timeout: 245 seconds]
eh_eff has joined #ocaml
sh0t has joined #ocaml
MercurialAlchemi has joined #ocaml
gustav___ has joined #ocaml
freehck has joined #ocaml
tobast has joined #ocaml
eikke has joined #ocaml
zv is now known as Guest60629
kandu is now known as Guest70228
cantstanya is now known as Guest85247
igitoor has joined #ocaml
teiresias has joined #ocaml
teiresias has quit [Changing host]
Ravana has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
lopex has joined #ocaml
dch has joined #ocaml
eh_eff has quit [Ping timeout: 250 seconds]
emmanueloga has joined #ocaml
brunoro has joined #ocaml
kakadu has quit [Remote host closed the connection]
yminsky has joined #ocaml
sspi has joined #ocaml
Merv has joined #ocaml
bigs has joined #ocaml
banjiewen has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
adelbertc has joined #ocaml
jkni has joined #ocaml
mrallen1 has joined #ocaml
caw has joined #ocaml
l1x has joined #ocaml
julian_ has quit [Remote host closed the connection]