azimut has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
<neiluj>
oh just define a module of the desired module type and then refer to the type of the module
Serpent7776 has quit [Read error: Connection reset by peer]
<Leonidas>
Is there a nice way to include additional values in a module that is restricted by a signature?
<Leonidas>
(the module sig is required for a functor, so I can't just add the value to the signature)
<neiluj>
add an extra arg to the functor with the additional values?
<Leonidas>
but then I can't look into the implementation of the module that I'm passing as the argument to the functor
Serpent7776 has joined #ocaml
<discocaml>
<Bluddy> No. Modules restricted to signatures are impenetrable beyond what's exported in the signature.
<Leonidas>
I tried declaring the module as module Argument : sig include S val foo : int = struct ... end but this tells me somehow that the values in S are required but not provided
<discocaml>
<darrenldl> when you have write `type`, do people tend to use `type_` or `typ`?
<discocaml>
<Le condor du plateau> I see more often `typ`
<discocaml>
<darrenldl> i see, thanks!
<companion_cube>
I use either ty or type_
Techcable has quit [Ping timeout: 240 seconds]
<Leonidas>
Perfect occasion to start a 4th convention
Anarchos has joined #ocaml
Haudegen has joined #ocaml
<reynir>
is opam.ocaml.org down on ipv6?
Techcable has joined #ocaml
<discocaml>
<darrenldl> ty, typ, type_, we've come full circle
waleee has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Anarchos has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 265 seconds]
waleee has quit [Ping timeout: 240 seconds]
waleee has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Serpent7776 has quit [Quit: WeeChat 1.9.1]
dhil has joined #ocaml
waleee has quit [Ping timeout: 240 seconds]
sagax has joined #ocaml
motherfsck has joined #ocaml
azimut_ has quit [Remote host closed the connection]
azimut has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
xd1le has quit [Quit: xd1le]
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
neiluj has quit [Quit: WeeChat 3.7.1]
waleee has joined #ocaml
Haudegen has joined #ocaml
motherfsck has quit [Quit: quit]
mbuf has joined #ocaml
<discocaml>
<∆V> which channel should i use for asking a question regarding OCaml's runtime?
<discocaml>
<∆V> about the gc and heaps and whatnot
jmiven has joined #ocaml
jmiven has quit [Client Quit]
jmiven has joined #ocaml
<theblatte>
ΔV: here's fine (and bridged to the IRC channel)
mbuf has quit [Quit: Leaving]
jmiven has quit [Client Quit]
jmiven has joined #ocaml
<discocaml>
<∆V> i just wanted to confirm how ocaml's gc finds the roots to scan during the mark phase of the gc
<discocaml>
<∆V> apart from the globals, the runtime keeps its own stack right?
<discocaml>
<∆V> which it can just iterate over to mark them and their "children"
<discocaml>
<∆V> and is it right that the minor heap is just an array of `value`'s (as defined in `mlvalues.h`)?
<discocaml>
<∆V> bc i assumed that blocks with opaque data instead of "normal" fields also live in that stack
<discocaml>
<∆V> but their data isn't an array of `value`'s
<discocaml>
<∆V> so is that just fixed by padding the data?
<discocaml>
<arbipher> Is the official doc website down? (The overview page is fine but the doc page is error 500) e.g.