<gypsydave5>
I'm getting a signature mismatch error : Values do not match:
<gypsydave5>
val mem : M.t -> M.t list -> bool
<gypsydave5>
val mem : 'a -> M.t list -> bool
<gypsydave5>
is not included in
<gypsydave5>
Can't seem that first 'a to be an M.t :(
<gypsydave5>
s/seem/get
ggole has joined #ocaml
chripell_ has quit [Ping timeout: 260 seconds]
nullcone has joined #ocaml
<flux>
it seems the key is that while the := did rewrite 'a t with M.t, it will not touch the base 'a in the signature of mem
<flux>
and I don't think substituting 'a with M.t is possible either..
<flux>
but perhaps you can use some other type in place of 'a, that could be rewritten
<gypsydave5>
any idea how that might look?
<flux>
in my experience this kind of specialization isn't done, though, and I would be interested to see if there is a solution 🤔. usually you can just do type custom_set = M.t SetImpl.t
<flux>
I was thinking: type 'a value in the signature of Set
<flux>
and then instead of 'a use 'a value
Serpent7776 has quit [Read error: Connection reset by peer]
<flux>
and I believe you can either do the 'with' twice or use 'and'
<octachron>
The signature of Set is only valid for polymorphic sets, and the functor is only implementing a monomorphic set.
<octachron>
It is simpler to start with the signature for monomorphic sets.
<gypsydave5>
gotcha - thanks!
bartholin has joined #ocaml
Serpent7776 has joined #ocaml
rond_ has joined #ocaml
<rond_>
Hi!
<rond_>
`let rec length list = function
<rond_>
Oh nevermind
borne has joined #ocaml
borne has quit [Ping timeout: 265 seconds]
borne has joined #ocaml
brown121407 has quit [Remote host closed the connection]
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
rond_ has quit [Remote host closed the connection]
osa1_ has joined #ocaml
motherfsck has joined #ocaml
bartholin has quit [Quit: Leaving]
osa1_ is now known as osa1
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
motherfsck has quit [Ping timeout: 258 seconds]
borne has quit [Ping timeout: 260 seconds]
motherfsck has joined #ocaml
osa1 has quit [Remote host closed the connection]
osa1 has joined #ocaml
ggole has quit [Ping timeout: 244 seconds]
borne has joined #ocaml
osa1 has quit [Ping timeout: 260 seconds]
narimiran has quit [Ping timeout: 265 seconds]
motherfsck has quit [Ping timeout: 256 seconds]
motherfsck has joined #ocaml
amiloradovsky has joined #ocaml
amiloradovsky has quit [Ping timeout: 260 seconds]