00:00 <discocaml> <darrenldl> and it has happened to me with phind (llm specialised(?) for coding questions) imagining something that i cannot find on google or referenced a very old deprecated api

05:01 <discocaml> <softwaresirppi> Guys I'm getting a partial-match warning even though I satisfy the conditions with guarded clauses

05:01 <discocaml> <softwaresirppi> Is there any way to make it understand guards?

05:53 <dh`> it's not a general constraint solver

06:27 <discocaml> <octachron> Sinc `when` guards can run arbitrary code, checking if `when` guard cover all cases is undecidable. Most of the time, you can restructure your code to avoid having `when` guards on all clauses.

07:37 <discocaml> <gooby_clown> Just slap on a `| _ -> failwith "shouldn't happen"` :^)

13:08 <neiluj> Hi! is it possible to specify in the signature of the function m whether the vector is in row or column format? https://bpa.st/55OQ

19:26 <neiluj> Hello! Given a functor module F (I: sig type t end) : M with type t = I.t = struct type t end would it be possible to keep the types t abstract while at the same time setting t to some type in the implementation?

20:38 <discocaml> <barconstruction> I guess M is a signature here.

20:38 <discocaml> <barconstruction> I think that M will control the access to t in F(I), right? So I can expose functionality of t to F which F(I) does not expose to the client if it's not in M

20:42 <neiluj_> yes