adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Upcoming OCaml MOOC: https://huit.re/ocamlmooc | OCaml 4.03.0 release notes: http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
veggie_ has quit [Quit: WeeChat 1.5]
artart78 has joined #ocaml
nicholasf has joined #ocaml
groovy2shoes has joined #ocaml
nomicflux has joined #ocaml
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 252 seconds]
brunoro has joined #ocaml
petroav has quit [Ping timeout: 260 seconds]
brunoro has quit [Ping timeout: 260 seconds]
so has quit [Quit: ...]
yomimono has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
petroav has joined #ocaml
Guest97755 is now known as kandu
struktured has joined #ocaml
voglerr has joined #ocaml
petroav has quit [Ping timeout: 260 seconds]
voglerr has quit [Ping timeout: 252 seconds]
blackfry has joined #ocaml
nomicflux has quit [Quit: nomicflux]
voglerr has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
voglerr has quit [Read error: Connection reset by peer]
struktured has quit [Ping timeout: 260 seconds]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 252 seconds]
rpcope has quit [Ping timeout: 256 seconds]
wu_ng has joined #ocaml
yomimono has quit [Ping timeout: 244 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
rpcope has joined #ocaml
groovy2shoes has quit [Quit: Leaving]
struktured has joined #ocaml
sh0t has joined #ocaml
FreeBirdLjj has joined #ocaml
brunoro has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
sh0t has quit [Remote host closed the connection]
brunoro has quit [Ping timeout: 252 seconds]
struktured has quit [Ping timeout: 260 seconds]
conrad4 has joined #ocaml
conrad4 has quit [Ping timeout: 260 seconds]
voglerr has joined #ocaml
struktured has joined #ocaml
groovy2shoes has joined #ocaml
voglerr has quit [Ping timeout: 256 seconds]
brunoro has joined #ocaml
nomicflux has joined #ocaml
average has quit [Remote host closed the connection]
average has joined #ocaml
brunoro has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
axiles has joined #ocaml
brunoro has joined #ocaml
MercurialAlchemi has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
conrad4 has joined #ocaml
voglerr has joined #ocaml
conrad4 has quit [Ping timeout: 260 seconds]
voglerr has quit [Ping timeout: 265 seconds]
jao has quit [Ping timeout: 252 seconds]
larhat has quit [Quit: Leaving.]
FreeBirdLjj has joined #ocaml
brunoro has joined #ocaml
AlexDenisov has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
nomicflux has quit [Quit: nomicflux]
FreeBirdLjj has quit [Remote host closed the connection]
ujhn has joined #ocaml
alienbot has joined #ocaml
ggole has joined #ocaml
FreeBirdLjj has joined #ocaml
ggole_ has joined #ocaml
ggole has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
ggole__ has joined #ocaml
Mercuria1Alchemi has joined #ocaml
ggole_ has quit [Ping timeout: 252 seconds]
alienbot has quit [Ping timeout: 260 seconds]
alienbot has joined #ocaml
ggole_ has joined #ocaml
ggole__ has quit [Ping timeout: 256 seconds]
alienbot has quit [Quit: No Ping reply in 180 seconds.]
alienbot has joined #ocaml
alfredo has joined #ocaml
brunoro has joined #ocaml
noddy has quit [Ping timeout: 244 seconds]
brunoro has quit [Ping timeout: 256 seconds]
pierpa has quit [Ping timeout: 244 seconds]
conrad4 has joined #ocaml
conrad4 has quit [Ping timeout: 244 seconds]
noddy has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
voglerr has joined #ocaml
voglerr has quit [Remote host closed the connection]
voglerr has joined #ocaml
FreeBirdLjj has joined #ocaml
jnavila has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 244 seconds]
nicholasf has quit []
alienbot_ has joined #ocaml
alienbot has quit [Ping timeout: 252 seconds]
freusque has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
Simn has joined #ocaml
petroav has joined #ocaml
petroav_ has joined #ocaml
petroav has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
alienbot_ has quit [Quit: No Ping reply in 180 seconds.]
alienbot has joined #ocaml
AlexDenisov has joined #ocaml
orbifx1 has joined #ocaml
tristero has quit [Ping timeout: 245 seconds]
julian__ has joined #ocaml
voglerr has quit [Remote host closed the connection]
AltGr has joined #ocaml
voglerr has joined #ocaml
voglerr has quit [Remote host closed the connection]
voglerr has joined #ocaml
petroav_ has quit [Ping timeout: 260 seconds]
alienbot has quit [Ping timeout: 260 seconds]
alienbot has joined #ocaml
julian__ has quit [Ping timeout: 256 seconds]
alienbot has quit [Ping timeout: 260 seconds]
alienbot_ has joined #ocaml
wolfcore has quit [Ping timeout: 260 seconds]
larhat has joined #ocaml
brunoro has joined #ocaml
julian__ has joined #ocaml
wolfcore has joined #ocaml
brunoro has quit [Ping timeout: 250 seconds]
conrad4 has joined #ocaml
AlexRussia has quit [Ping timeout: 252 seconds]
julian__ has quit [Ping timeout: 250 seconds]
ggole__ has joined #ocaml
dhil has joined #ocaml
ggole_ has quit [Ping timeout: 260 seconds]
conrad4 has quit [Ping timeout: 244 seconds]
alienbot has joined #ocaml
alienbot_ has quit [Ping timeout: 260 seconds]
AlexRussia has joined #ocaml
jwatzman|work has joined #ocaml
ygrek has joined #ocaml
mpenet has joined #ocaml
mpenet has left #ocaml [#ocaml]
toolslive has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<toolslive> so, whose attention do I need to get for https://github.com/ocaml/opam-repository/pull/7653 and https://github.com/ocaml/opam-repository/pull/7661 into opam?
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…]
<aantron> yeah, "should work" as long as you constrain osx out. e.g. https://github.com/ocaml/opam-repository/blob/master/packages/flock/flock.1.0.0/opam#L29 , but maybe you support more systems..
<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
julian__ has quit [Ping timeout: 245 seconds]
conrad4 has quit [Ping timeout: 252 seconds]
zv has quit [Quit: WeeChat 1.5]
<toolslive> something like that?
zv has joined #ocaml
julian__ has joined #ocaml
<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
<companion_cube> but it has some Format output?
<grayswandyr> yep
<grayswandyr> which directs to a class (implementing a common class type) here: https://github.com/fpottier/pprint/blob/master/PPrintEngine.ml#L68
<profan> win 24
<profan> eh, wops
<Drup> My question might seems a bit rude, but why are you using pprint to begin with ? CCFormat/Fmt should cover all the use cases ...
yomimono has joined #ocaml
<grayswandyr> Drup: well I find PPrint to be much easier to use and much more intuitive. I guess this is partly a matter of taste
<grayswandyr> but not only. Format and the like manipulate boxes and indentation
<grayswandyr> PPrint manipulates an abstract tree
<grayswandyr> which is then layed out
<grayswandyr> other users around me feel the same
<companion_cube> well, you could also write an abstract tree somewhere, and specify later how to Format it
<grayswandyr> however I would be happy with this
<companion_cube> or even fork/contribute to PPrint so it renders directly to Format
<grayswandyr> companion_cube: indeed
<Drup> I fail to see why first building a AST is useful, but ok
<Drup> (as far as combinator goes, Fmt provides pretty much everything PPrint provides (CCFormat too, but I find them less convenient))
<grayswandyr> well from what I saw, I found that PPrint's combinators were more abstract
<grayswandyr> note I'm not saying a more-or-less equivalent API couldn't be done above Format variants
<Drup> Yes, I know, I looked at them
Algebr has joined #ocaml
<Drup> And my point is that the equivalent API is already here
<companion_cube> it looks like it takes a lot of room to write :/
<grayswandyr> I'm not a (CC)Format expert but having used it for a week, I end up with unwanted or newlines tab more or less randomly
<companion_cube> the secret is: use more boxes :D
<companion_cube> (ok, maybe I'm really too used to Format, tbh)
<Drup> group ≈ box, ^^ ≈ append
ujhn has quit [Quit: Page closed]
<Drup> (and yes, as companion_cube, it's horribly verbose ...)
<grayswandyr> printf "%a" (list int) [1;2;3;4;5];;
<grayswandyr> gives two lines
<grayswandyr> besides I have to deal with format strings
<companion_cube> format strings are awesome
<companion_cube> they are very compact
<grayswandyr> :)
<companion_cube> printf "@[%a@]" (list int) [1;2;3;4]
<grayswandyr> sure but I don't care that much for compactness
<companion_cube> but you can choose <hv>, <v>, etc
<grayswandyr> I care for readbility
<grayswandyr> for this part
<companion_cube> well it's quite readable, I find
<grayswandyr> anyway I'm not starting a flamewar against Format
<Drup> grayswandyr: ` string x ^^ colon ^^ space ^^ document_of_term t` is not more readable than "%s- %a"
<Drup> it's just longer
<grayswandyr> the space in double quotes will optionally break ?
<Drup> grayswandyr: not this one, no
<companion_cube> breaking space is "@ "
<grayswandyr> yeah I know :)
<grayswandyr> this is what I'm getting at
<Drup> companion_cube: you should really change some of your combinators, the datatype ones, in particular
<Drup> Fmt is much cleaner in this respect
<companion_cube> Drup: care to elaborate?
<Drup> remove all the ~start and ~stop
<grayswandyr> your whole line would be: fprintf out "%s-@%a" (Term.print) t
<companion_cube> ah
<companion_cube> yeah, that might be a good idea, or at least make them empty by default
<Drup> and remove grouping by default
<Drup> boxing*
<companion_cube> it's not boxed by default
<grayswandyr> I work with other people... I don't grok: https://github.com/nunchaku-inria/nunchaku/blob/master/src/core/terms/TermInner.ml#L453 ... but they will hate it
<grayswandyr> :)
copy` has joined #ocaml
<companion_cube> (at least not in CCFormat)
<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
<companion_cube> but right now, I can write stuff like this without even thinking : http://vrac.cedeela.fr/2016-10-21-160402_860x880_scrot.png
<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> oh dear
freusque has joined #ocaml
<grayswandyr> well... it works
<grayswandyr> I could even select my module at runtime
<companion_cube> heh
<companion_cube> Drup: I'll take your suggestion into account
conrad4 has joined #ocaml
<grayswandyr> as for CCFormat, I guess a function like with_color(f) but returning a string would be handy (once again I want to avoid tags).
<grayswandyr> I know how to write one, but I find it would be nice to have directly in CCFormat
conrad4 has quit [Ping timeout: 244 seconds]
<companion_cube> fun s -> to_string (with_color "Blue" "%s") s?
<companion_cube> but I see your point
<grayswandyr> yep
<grayswandyr> thx
<grayswandyr> thx very much
<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?
<jg_> yeah, 'type context = (string * binding) list'
<jg_> okay, that makes sense now
eh_eff has joined #ocaml
brunoro has joined #ocaml
sh0t has quit [Remote host closed the connection]
<jg_> one more question: 'type binding = NameBind' is also confusing me, in the same file. https://github.com/jg/tapl/blob/master/untyped/syntax.ml#L13
<jg_> Is NameBind already defined in OCaml?
<thizanne> no
<thizanne> it is defined with this line
<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
ollehar has joined #ocaml
<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> which is quite promising :)
eh_eff has quit [Ping timeout: 244 seconds]
orbifx has quit [Quit: WeeChat 1.5]
kakadu_ has quit [Quit: Konversation terminated!]
eh_eff has joined #ocaml
<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]
jcloud has joined #ocaml
ggherdov has joined #ocaml
zpe has quit [Remote host closed the connection]
tane has quit [Remote host closed the connection]
NhanH has joined #ocaml
sz0 has joined #ocaml
nomicflux has quit [Quit: nomicflux]
Guest71678 has joined #ocaml
MorTal1ty has joined #ocaml
jmct has joined #ocaml
mbrock has joined #ocaml
mankyKitty has joined #ocaml
Sorella has joined #ocaml
Guest85247 has quit [Quit: WeeChat 1.5]
parataxis has joined #ocaml
cantstanya has joined #ocaml
rfv has joined #ocaml
andreypopp has joined #ocaml
cpdean has quit [Quit: WeeChat 1.4]
nomicflux has joined #ocaml
veggie_ has quit [Quit: WeeChat 1.5]
smondet has quit [Ping timeout: 256 seconds]
Heasummn has quit [Ping timeout: 265 seconds]
Guest60629 is now known as zv
zv is now known as Guest76333
iZsh has joined #ocaml
tmtwd has joined #ocaml