Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.1.1 released: https://ocaml.org/releases/5.1.1 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
g0rxyz has quit [Quit: Leaving]
Tuplanolla has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
azimut has joined #ocaml
edr has quit [Quit: Leaving]
waleee has quit [Ping timeout: 240 seconds]
gdd has quit [Ping timeout: 268 seconds]
gdd has joined #ocaml
trev has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
average has quit [Quit: Connection closed for inactivity]
bartholin has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
bartholin has quit [Remote host closed the connection]
Serpent7776 has joined #ocaml
ehrt74 has joined #ocaml
Tuplanolla has joined #ocaml
hapisnake has joined #ocaml
hapisnake has quit [Quit: Client closed]
hapisnake has joined #ocaml
hapisnake has quit [Client Quit]
alexherbo2 has joined #ocaml
alexherbo2 has quit [Ping timeout: 250 seconds]
alexherbo2 has joined #ocaml
ehrt74 has quit [Ping timeout: 260 seconds]
dnh has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bartholin has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
waleee has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
waleee has quit [Ping timeout: 260 seconds]
average has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
dnh has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
azimut has quit [Ping timeout: 240 seconds]
dnh has joined #ocaml
hannes has quit [Ping timeout: 276 seconds]
rgrinberg has joined #ocaml
hannes has joined #ocaml
ehrt74 has joined #ocaml
mizlan has joined #ocaml
ehrt74 has quit [Ping timeout: 256 seconds]
szkl has joined #ocaml
waleee has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
<discocaml> <deepspacejohn> TIL that `begin` and `end` are even more literally the same as `(` and `)` than I had realized. This compiles: `let () = begin end`
<discocaml> <Kali> oh wow, that's pretty funny
<discocaml> <Kali> this raises the question: can destructuring be done with begin...end
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<discocaml> <Kali> apparently not
<discocaml> <Kali> `let begin 2, 3 end = (2,3)` does not compile
<discocaml> <deepspacejohn> It looks like it only works when constructing a pattern. `print_newline begin end`
<discocaml> <Kali> it doesn't seem to work inside patterns at all
<discocaml> <Kali> `let unit_prod_unit_to_unit (begin end,()) = ()`
<discocaml> <Kali> does not work
<discocaml> <leviroth> It also doesn’t work for generative functor application
<discocaml> <leviroth> I’ve never actually checked if it works for normal functors
<discocaml> <deepspacejohn> I think that example doesn't work because you're destructing a function argument. This works: `let ((), ()) = ( begin end, begin end )`
<discocaml> <Kali> it does not work for normal functors either
dnh has joined #ocaml
pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
rgrinberg has quit [Ping timeout: 245 seconds]
pi3ce has joined #ocaml
pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
<octachron> "begin ... end" only works for expressions, and the empty case is most probably here to support empty statements in case like "if ... then begin end"
pi3ce has joined #ocaml
trev has quit [Quit: trev]
pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
pi3ce has joined #ocaml
pi3ce has quit [Client Quit]
trev has joined #ocaml
pi3ce has joined #ocaml
mizlan has quit [Quit: mizlan]
trev has quit [Quit: trev]
pi3ce has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
pi3ce has joined #ocaml
Serpent7776 has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
cimento has quit [Quit: WeeChat 4.1.2]
pi3ce has quit [Ping timeout: 245 seconds]
cimento has joined #ocaml
julien has joined #ocaml
julien has quit [Client Quit]
neiluj has joined #ocaml
neiluj has quit [Client Quit]
neiluj has joined #ocaml
<neiluj> Hi! is it possible to pretty-print abstract values in the toplevel? they currently show as <abstr>
rgrinberg has quit [Ping timeout: 245 seconds]
<discocaml> <.armael.> You can register a printer for the type
<neiluj> cool! how do you achieve this?
<discocaml> <Kali> as noted by `#help;;`, `#install_printer <ident>: Registers a printer for values of a certain type.`
szkl has quit [Quit: Connection closed for inactivity]
<neiluj> perfect, thanks!
<discocaml> <._null._> deepspacejohn: did you mean `begin begin end, begin end end`
bartholin has quit [Ping timeout: 245 seconds]