Charles de Haro

icon indicating a website link de-haro.fr

icon company École Normale Supérieure icon location Paris, France icon location PhD Student in Abstract Interpretation, Static Analysis and Synchronous Languages

Results 2 issues of Charles de Haro

Formatting exception message

1 comment

I just fix two bugs I found during my experiments

Hover of a mutually recursive type can cause a stack overflow

4 comment

Hi, Merlin produces a stack overflow which causes Emacs to freeze when hovering the type `b` on line 1 of the following code: ```ocaml type a = A | B...

Kind/Bug