copy` has quit [Quit: Connection closed for inactivity]
jave has joined #ocaml
brunoro_ has quit [Ping timeout: 260 seconds]
brunoro_ has joined #ocaml
brunoro_ has quit [Ping timeout: 258 seconds]
rdavison has quit [Quit: rdavison]
brunoro_ has joined #ocaml
brunoro_ has quit [Ping timeout: 244 seconds]
brunoro_ has joined #ocaml
brunoro_ has quit [Ping timeout: 256 seconds]
brunoro_ has joined #ocaml
govg has quit [Ping timeout: 248 seconds]
govg has joined #ocaml
brunoro_ has quit [Ping timeout: 250 seconds]
douglascorrea has joined #ocaml
brunoro_ has joined #ocaml
douglascorrea has quit [Ping timeout: 244 seconds]
gjaldon has quit [Remote host closed the connection]
Simn has joined #ocaml
cataska has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
cataska has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
jnavila has joined #ocaml
fraggle_ has joined #ocaml
FreeBirdLjj has joined #ocaml
Simn has quit [Quit: Leaving]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
brunoro_ has quit [Ping timeout: 245 seconds]
brunoro_ has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
TarVanimelde has joined #ocaml
underscore has joined #ocaml
brunoro_ has quit [Ping timeout: 256 seconds]
ygrek has quit [Ping timeout: 258 seconds]
pierpa has joined #ocaml
govg has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
brunoro_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
brunoro_ has quit [Ping timeout: 250 seconds]
tizoc has quit [Quit: Coyote finally caught me]
gjaldon has joined #ocaml
brunoro_ has joined #ocaml
AlexDenisov has joined #ocaml
douglascorrea has joined #ocaml
brunoro_ has quit [Ping timeout: 252 seconds]
douglascorrea has quit [Ping timeout: 268 seconds]
mfp has joined #ocaml
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Ping timeout: 246 seconds]
AlexDenisov has joined #ocaml
AlexDeni_ has quit [Ping timeout: 250 seconds]
alienbot has joined #ocaml
alienbot has quit [Remote host closed the connection]
alienbot has joined #ocaml
alienbot has quit [Remote host closed the connection]
brunoro_ has joined #ocaml
freusque has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
silver has joined #ocaml
brunoro_ has quit [Ping timeout: 246 seconds]
brunoro_ has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
TarVanimelde has quit [Read error: Connection reset by peer]
k1000 has quit [Remote host closed the connection]
brunoro_ has quit [Ping timeout: 240 seconds]
brunoro_ has joined #ocaml
k1000 has joined #ocaml
brunoro_ has quit [Ping timeout: 246 seconds]
k1000 has quit [Quit: .]
brunoro_ has joined #ocaml
brunoro_ has quit [Ping timeout: 265 seconds]
TarVanimelde has joined #ocaml
brunoro_ has joined #ocaml
cataska has joined #ocaml
k1000 has joined #ocaml
cataska has quit [Client Quit]
brunoro_ has quit [Ping timeout: 256 seconds]
brunoro_ has joined #ocaml
shinnya has joined #ocaml
swoleconf has joined #ocaml
TarVanim_ has joined #ocaml
TarVanimelde has quit [Ping timeout: 240 seconds]
swoleconf has quit [Remote host closed the connection]
douglascorrea has joined #ocaml
douglascorrea has quit [Ping timeout: 258 seconds]
ineol has joined #ocaml
ineol has quit [Remote host closed the connection]
zpe has joined #ocaml
ineol has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
tizoc has joined #ocaml
TarVanim_ is now known as TarVanimelde
k1000 has quit [Read error: Connection reset by peer]
k1000 has joined #ocaml
FreeBirdLjj has joined #ocaml
fraggle-boate has joined #ocaml
copy` has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 258 seconds]
rpip has quit [Ping timeout: 256 seconds]
slash^ has quit [Read error: Connection reset by peer]
TarVanimelde has quit [Quit: TarVanimelde]
gjaldon has quit [Remote host closed the connection]
rpip has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 258 seconds]
douglascorrea has joined #ocaml
douglascorrea has quit [Ping timeout: 244 seconds]
sh0t has joined #ocaml
infinity0 has quit [Remote host closed the connection]
larhat has joined #ocaml
infinity0 has joined #ocaml
AlexRussia has quit [Ping timeout: 260 seconds]
Simn has joined #ocaml
AlexRussia has joined #ocaml
AlexRussia has quit [Ping timeout: 244 seconds]
AlexRussia has joined #ocaml
malc_` has joined #ocaml
nomicflux has joined #ocaml
yomimono has joined #ocaml
AlexDenisov has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Ping timeout: 250 seconds]
AlexDenisov has joined #ocaml
AlexDeni_ has quit [Ping timeout: 260 seconds]
douglascorrea has joined #ocaml
slash^ has joined #ocaml
yomimono has quit [Ping timeout: 256 seconds]
ineol has quit [Ping timeout: 260 seconds]
douglascorrea has quit [Ping timeout: 248 seconds]
AlexDeni_ has joined #ocaml
yomimono has joined #ocaml
AlexDenisov has quit [Ping timeout: 250 seconds]
ineol has joined #ocaml
zirman has quit [Remote host closed the connection]
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AlexDenisov has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
zirman has joined #ocaml
ahf has quit [Ping timeout: 250 seconds]
zirman has quit [Remote host closed the connection]
seangrov` has joined #ocaml
seangrove has quit [Read error: Connection reset by peer]
jmiven has quit [Ping timeout: 250 seconds]
StatelessCat has quit [Ping timeout: 250 seconds]
engil has quit [Ping timeout: 250 seconds]
mfp has quit [Ping timeout: 250 seconds]
engil has joined #ocaml
jmiven has joined #ocaml
mfp has joined #ocaml
StatelessCat has joined #ocaml
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
ahf has joined #ocaml
noddy has quit [Ping timeout: 256 seconds]
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Read error: Connection reset by peer]
zirman has quit [Remote host closed the connection]
gjaldon has joined #ocaml
noddy has joined #ocaml
AlexDenisov has joined #ocaml
AlexDeni_ has quit [Ping timeout: 260 seconds]
slash^ has quit [Read error: Connection reset by peer]
chindy has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
zirman has joined #ocaml
Heasummn has joined #ocaml
balod has joined #ocaml
zirman has quit [Remote host closed the connection]
balod has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
balod has joined #ocaml
Algebr` has quit [Ping timeout: 256 seconds]
balod has quit [Remote host closed the connection]
balod has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
yomimono has quit [Quit: Leaving]
douglascorrea has joined #ocaml
douglascorrea has quit [Ping timeout: 260 seconds]
chindy has quit [Quit: Leaving]
chindy has joined #ocaml
ygrek has joined #ocaml
fraxamo has joined #ocaml
fraxamo has left #ocaml [#ocaml]
malc_` has quit [Remote host closed the connection]
gjaldon has quit []
kakadu has joined #ocaml
seangrov` has quit [Remote host closed the connection]
rdavison has joined #ocaml
<Leonidas>
companion_cube: I am trying to figure out how to write pretty printers for my data structures, but can't figure out how to use CCList.pp and CCList.print
<Leonidas>
where do I get a printer and where do I actually feed in the data structure to be printed?
<Leonidas>
No, I've only ever used Printf and ppx_deriving_show
<Leonidas>
Thanks, will do!
<Leonidas>
companion_cube: also, it might not sound like it but I enjoy using containers quite a bit. Thanks!
<companion_cube>
ok cool, ask if you still have questions afterwards
<companion_cube>
thanks! :p
<Leonidas>
(recently used containers.sexp which was exactly what I was looking for, very handy for avoiding sexplib)
rdavison has quit [Quit: rdavison]
douglascorrea has joined #ocaml
rdavison has joined #ocaml
douglascorrea has quit [Ping timeout: 248 seconds]
<companion_cube>
(it's going to be simplified!)
underscore has quit [Ping timeout: 252 seconds]
freusque has quit [Quit: WeeChat 1.4]
okuu has quit [Quit: Unyu~?]
okuu has joined #ocaml
groovy2shoes has quit [Ping timeout: 258 seconds]
agarwal1975 has quit [Quit: agarwal1975]
zv has joined #ocaml
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jnavila has quit [Remote host closed the connection]
Heasummn has quit [Remote host closed the connection]
yomimono has joined #ocaml
<Leonidas>
companion_cube: so, I read the intro and wrote printers for my own data types. But: 1) what are the t.pp values good for 2) is there a way to compose a printer for a record without having to write a tedious format string?
<companion_cube>
`pp` is (was) useful when Format was slower; it could print to buffers
<companion_cube>
nowadays I never use those
<companion_cube>
about 2), not really, format strings are the most compact that I know of
<companion_cube>
(except using ppx_deriving.show)
<companion_cube>
(which does it automatically)
<Leonidas>
Nice. Works. Thanks.
<Leonidas>
Fun that you know Jasmin, i was tutoring in one of his lectures though at the time he wasn't much at TUM anymore.
<companion_cube>
heh :D
<companion_cube>
he's moving to Amsterdamm so I won't be seeing him much, too
Heasummn has joined #ocaml
nomicflux has quit [Quit: nomicflux]
<Leonidas>
companion_cube: on a related note, are the zippers in containers Huet's Zippers?
<companion_cube>
those in the list module? yes, they should
<companion_cube>
(although it's a generic idea, you have one zipper per data structure, afaict)
<Leonidas>
companion_cube: but there is no up/down, seemingly
<companion_cube>
well it's on lists
<Leonidas>
haven't yet had the occasion to use them but zippers are also in the clojure stdlib, so they seem to be inevitable :-)
<companion_cube>
you'd have up/down on trees
<Leonidas>
true, though clojure does up/down on nested lists
<companion_cube>
oh I see
<companion_cube>
probably not very typeable though
<Leonidas>
no idea whether this would be sensible
<Leonidas>
you're right
agarwal1975 has joined #ocaml
ineol has quit [Read error: Connection reset by peer]
Simn has quit [Quit: Leaving]
noplamodo has quit [Remote host closed the connection]
noplamodo has joined #ocaml
douglascorrea has joined #ocaml
douglascorrea has quit [Ping timeout: 260 seconds]