Guillaume Claret
Guillaume Claret
Ah OK, that is you for the email, the world is small :) In one word I would say that OPAM for Coq is like Cabal / Hackage for Haskell....
Yes, the two signatures `Stdlib__map.OrderedType` and `Stdlib__set.OrderedType` are actually the same, so `coq-of-ocaml` gets confused. I think this error is fine then because both choices are the same.
By the way, does the generated code for this example looks fine?
What if you add a dummy definition to 'path.ml', and recompile everything?
Like 'let dummy = ()'
What do you get for 'main.ml' then? The hope is to change the interface of 'path.ml' so that it doesn't think it is a record but a plain module.
Hello, Thanks for the suggestion! I am not well versed in Dune, so I cannot comment much on the technical aspect. Indeed, we often proceed in two steps: 1) the...
OK top thanks!
Thanks for your feedback. I think to run it in an ES5 environment we need a `babel-polyfill` to implement the generators. Are you are talking about compiling an ES6 version...
Hi, I think using a `while` and `setTimeout` is a reasonable implementation of a periodic timer. To use `setInterval` directly, here is _roughly_ how I would do: - `effects.js` We...