troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
troydm has joined #ocaml
troydm has quit [Remote host closed the connection]
<discocaml>
<Regular_Trashman> github was down, maybe that affected it?
pieguy128_ has joined #ocaml
pieguy128 has quit [Ping timeout: 260 seconds]
bartholin has joined #ocaml
azimut has quit [Ping timeout: 240 seconds]
Techcable has quit [Ping timeout: 250 seconds]
mbuf has joined #ocaml
bartholin has quit [Quit: Leaving]
mbuf has quit [Ping timeout: 250 seconds]
mbuf has joined #ocaml
gareppa has joined #ocaml
spip has joined #ocaml
waleee has joined #ocaml
azimut has joined #ocaml
emilia_miki has joined #ocaml
emilia_miki has quit [Remote host closed the connection]
gareppa has quit [Quit: gareppa]
emilia_miki has joined #ocaml
emilia_m1ki has joined #ocaml
gareppa has joined #ocaml
emilia_miki has quit [Ping timeout: 260 seconds]
emilia_m1ki has quit [Client Quit]
emilia_miki has joined #ocaml
bartholin has joined #ocaml
emilia_miki has quit [Ping timeout: 250 seconds]
<discocaml>
<xavierm02_> Using ppx_import, it is possible to avoid writing the same types in both the .ml and the .mli. Can this also be done for types defined in the body of a functor ?
Duns_Scrotus__ has quit [Server closed connection]
Duns_Scrotus__ has joined #ocaml
ced1 is now known as cedb
Serpent7776 has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
dh` has quit [Ping timeout: 245 seconds]
emilia_miki has joined #ocaml
waleee has quit [Remote host closed the connection]
<discocaml>
<xavierm02_> @geoff I don't see how this works for the case I have in mind. If the type is either abstracted or completely exported, then you can simply define a polymorphic type in the _intf and then just use that in the .ml. But for a private inductive type, I'm not sure how to make this work. And using a private alias would require explicit coercions
<discocaml>
<xavierm02_> @geoff I don't see how this works for the case I have in mind. If the type is either abstracted or completely exported, then you can simply define a polymorphic type in the _intf and then just instanciate it in the .ml. But for a private inductive type, I'm not sure how to make this work. And using a private alias would require explicit coercions
waleee has joined #ocaml
bartholin has quit [Quit: Leaving]
<discocaml>
<xavierm02_> I tried defining a polymorphic type in the _intf and then using the `@with` syntax of ppx_import to get a monomorphic definition that works but couldn't get it to compile
waleee has quit [Remote host closed the connection]
waleee has joined #ocaml
<discocaml>
<geoff> I've never used ppx_import, but `i_ntf` files are a common way to avoid writing out the same types in `.ml` and `.mli`
<discocaml>
<geoff> I've never used ppx_import, but `_intf` files are a common way to avoid writing out the same types in `.ml` and `.mli`
<discocaml>
<geoff> sorry irc forgot to not edit again..
<discocaml>
<._null._> I think one edit is fine, it's editing repeatedly which is annoying