Pierre Villemot

icon company @Ocamlpro icon location Paris

Results 162 comments of Pierre Villemot

Replace fresh terms by abstract values in all subterms

I realized that the solution we found for #1213 should fix #1270 too without modifying the signature of any modules. I tested it on the file of Matteo, it works!...

JS worker does not compile

Ok, I will create a new package for the worker ;)