ocamllabs/ocaml-modular-implicits

Variance is not fully computed for types involving modular implicits

yallop opened this issue · 3 comments

yallop commented

I've pushed the fix to the modular-implicits branch (87956e0).

let-def commented

@yallop: would you prefer if I closed my branch and do future work here?

yallop commented

@let-def: yes, that would be convenient.

We could keep the old branch around (since the 4.02.0+modular-implicits switch still points to it).