rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bgs has quit [Remote host closed the connection]
azimut has quit [Ping timeout: 258 seconds]
Serpent7776 has joined #ocaml
Serpent7776 has quit [Ping timeout: 272 seconds]
jao has quit [Ping timeout: 250 seconds]
Serpent7776 has joined #ocaml
mro has joined #ocaml
m5zs7k has quit [Ping timeout: 250 seconds]
mro has quit [Remote host closed the connection]
m5zs7k has joined #ocaml
mro has joined #ocaml
Guest33 has joined #ocaml
<Guest33>
hi, when is the #install_printer toplevel directive needed? i've so far never found a use for it, the toplevel seems to know how to print everything already. or is it because something is automatically installing printers for all my types?
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<jedb>
Guest33: as an example, the toplevel won't automatically know how to print the types in https://github.com/ocaml/Zarith
<Guest33>
ah, so when there are abstract types?
<jedb>
something like that
<jedb>
I'm not that knowledgeable about it myself
<octachron>
Abstract types are the main use case. You might also want to override the default printer sometimes too.
mro has quit [Remote host closed the connection]
Haudegen has joined #ocaml
mro has joined #ocaml
dnh has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
olle has joined #ocaml
manicennui has quit [Quit: Connection closed for inactivity]
mro has quit [Quit: Leaving...]
perrierjouet has quit [Quit: WeeChat 3.7.1]
Guest33 has quit [Quit: Client closed]
perrierjouet has joined #ocaml
taupiqueur has joined #ocaml
kakadu has joined #ocaml
spip has joined #ocaml
bobo_ has quit [Ping timeout: 250 seconds]
wingsorc has quit [Ping timeout: 255 seconds]
taupiqueur has quit [Remote host closed the connection]
troydm has quit [Ping timeout: 250 seconds]
Anarchos has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Anarchos has joined #ocaml
taupiqueur has joined #ocaml
taupiqueur has quit [Remote host closed the connection]
taupiqueur has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
serpent has joined #ocaml
rgrinberg has joined #ocaml
serpent has quit [Ping timeout: 250 seconds]
jao has joined #ocaml
haesbaert has quit [Ping timeout: 268 seconds]
haesbaert has joined #ocaml
John_Ivan_ has joined #ocaml
<Leonidas>
Base registers a number of printers for the types it defines.
rgrinberg has quit [Ping timeout: 250 seconds]
xd1le has quit [Quit: xd1le]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
azimut has joined #ocaml
azimut has quit [Ping timeout: 258 seconds]
azimut has joined #ocaml
taupiqueur has quit [Remote host closed the connection]