Samuel Vivien

Is this still up to date ? I'm currently working on Schönage-Strassen in GMP so I was thinking of implementing it in rust. Are you still interested or is someone...

I just checked the code and I confirm what clement stated. Subtyping is done by using the same comparison than the one used with first-class modules : ie same runtime...

Is this solved by #13053 or is it still open ?

I've just pushed a relation `force_delay_rel` that handles pass 7. It is defined as the composition of 2 relations : `Force (Delay e) -> Tick e` (newly defined relation) and...

I don´t know if having path appearing inside the name would be a good idea as we managed to remove the path restriction that existed previously. On the other hand...

I confirm that even if no activity happened over the last months on this discord multiple face to face talks have been made and reviewing has started

There is no way to make it work as is. But I could be possible to make it work if the type of `f` and the return type are both...

Currently the documentation only knows `capitalized-ident` as possible constructor name : https://ocaml.org/manual/5.2/names.html#constr-name Is the place in the documentation you're referring to somewhere else ?

> This isn't clear to me. Have you considered the alternative of using a value restriction? In the case where we we want to keep the descripted semantic with explicit...

> (I don't remember, is there a proposed syntax to explicitly apply implicit module arguments? Can we reuse the same for types?) The propose syntax was to write `f {M}`...