Jacques Garrigue comments

Results 185 comments of


                                            Jacques Garrigue

Automatic generalize

@goldfirere Thank for your view review. I am still updating the code, as you helped discover a number of possible improvements, and hope to finish by next week. Then we...

Automatic generalize

Thank you for your approval. However, rebasing causes an error in the testsuite, and we are still inverstigating the cause. (There is an easy workaround, but I would really like...

Automatic generalize

@goldfirere Ironically, it seems that the cause of the failure is #13088, your PR about making `list_labels` pure, that I reviewed myself. What is happening is not completely clear, but...

Covariance propagation across functors

That is a long standing issue. It would help if somebody could document where it hurts.

Covariance propagation across functors

Long standing problem

opam: ocamlfind: sourceView2Enums.ml: No such file or directory

As I wrote there, I am unable to reproduce even using gmake 4.4.1, so this is hard to fix.

Library "lablgtk2.gl" is hidden (unsatisfied 'exist_if')

I have no idea what the problem could be. With ocaml 4.14.1 using macports under macos, I could install goplot using the command you indicate.

Fail to install Lablgtk3 on Windows (Diskuv)

I'm sorry, you probably need to at least use gcc to install lablgtk3. It's been a long time I have not tried to compile anything directly under windows...

Fix incompatible pointer type error

Already fixed in fix to #178.

Nominal (abstract) types

I'm not sure what the best syntax would be for this one. In practice, the impact is more on exhaustiveness warnings than on typing itself. I.e., this is tracked by...