Jacques Garrigue
Jacques Garrigue
Sorry for the 2 year delay. I only did OCaml 5 compatiblity for a while...
Sorry not to have reacted to this. Is this code working ? What is missing to run other examples ?
@stedolan I see your point, but `with_level` is not correct either, since we are talking about raising the level. Maybe `with_local_level` ? I didn't check that all the declinations work...
@lpw25 My opinion is still that, if we are to include the level in the environment, then we need to do more about it. Looking at your typing rule, it...
Actually, there may be a way to use the environment meaningfully. Since it relies on existential types it requires some experimentation: ```ocaml type 'a Env.t (* add a phantom parameter...
Just adding to this hypothetical design (not sure this is the right place...) * type definitions, class definitions, module type definitions are always at generic level, so the types they...
`with_local_level` approved in discussion. `with_local_level_for_class` `with_raised_nongen_level` ....
@gasche Thanks for the detailed reviews with many good suggestions. I used most of them, and tried to explain why when I chose a different way.
Concerning the interaction between let-binding and scope, I'm not sure it is a bad thing to have to make things more explicit. Anything that leaves a scope might require some...
If everybody thinks so, I'm fine with that. Thinking of it, we could have done that in 5.0. Feels less good to do it later. Probably the biggest part of...