wilfred has quit [Quit: Connection closed for inactivity]
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #ocaml
<Leonidas>
Can I somehow specify a module type of a functor?
<Leonidas>
I guess it is an A/B problem. I want to pass a functor to a functor and for this I need to specify the sig of a functor, how do I get that?
<theblatte>
I thought there was no arrow type for modules but actually there is! "module type M = functor (A : sig end) -> sig end;;"
<discocaml>
<smondet> yes like this: module type N = sig module M : functor (P : sig type t end) -> sig type t = P.t list end end;;
<discocaml>
<smondet> or without the useless indirection: module type N = functor (P : sig type t end) -> sig type t = P.t list end;;
<Leonidas>
interesting, let me try...
bartholin has joined #ocaml
<Leonidas>
That seems to work. Thanks! Looks like the official manual describes quite a lot of functor magic, need to figure out how to incorporate that into my code
waleee has joined #ocaml
azimut has joined #ocaml
Tuplanolla has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
mbuf has quit [Quit: Leaving]
waleee has quit [Ping timeout: 246 seconds]
slothby has quit [Quit: brb ... maybe]
Haudegen has joined #ocaml
slothby has joined #ocaml
GreaseMonkey has quit [Quit: No Ping reply in 180 seconds.]
greaser|q has joined #ocaml
bartholin has quit [Remote host closed the connection]
bartholin has joined #ocaml
Serpent7776 has quit [Quit: WeeChat 1.9.1]
rf has joined #ocaml
dhil has joined #ocaml
bgs has quit [Remote host closed the connection]
trillion_exabyte has quit [Ping timeout: 264 seconds]