Re: [Caml-list] typechecking in 4.05+beta2

[Virgile Prevosto <virgile.prevosto@m4x.org>]

2017-02-24 17:14 GMT+01:00 Gabriel Scherer <gabriel.scherer@gmail.com>:
> Thanks for the bisection work. The related code change reproduces, at
> the level of functors, a change in handling of non-generalized
> inference variables that was done at the module level in 4.04, and for
> which there were a couple similar known regressions. I believe that
> the conclusion would be the same here : it is unfortunate that your
> code breaks, but we don't expect the new behavior of 4.05 (which plugs
> a small soundness hole in the type system) to change to become more
> permissive again.
>
> ( I posted in essence the same comment on the relevant pull request
> discussion: https://github.com/ocaml/ocaml/pull/929#issuecomment-282283191
> )
>

Thanks for your answer. I saw your comment on github that confirmed my
fears ;-). Anyway, the fix is indeed only a couple of eta-expansions
or type annotations and we can live with that.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile