Results 508 comments of hhugo

I can help you if you need. Note that marshal on bytes will not work properly.

https://github.com/jscoq/jscoq/blob/v8.11/coq-js/js_stub/str.js#L63 (`.c`) is possibly incorrect

Rebased on top of the new Str support.

> Does it mean that if I have a value of type string it is represented by a JavaScript string and I can give it to the DOM apis as...

one more step, num will be compatible with that change https://github.com/ocaml/num/issues/21

Thanks. Would you mind restricting this PR To just introducing an additional IR. I don't want to review too many moving pieces at once.

I meant, restrict the PR to a new IR and plug it in - but exclude things that change the behavior

I don't think jsoo debug info (js comments in the generated source) is relevant here. Are things working fine when not using separate compilation ? How do you know sourcemap...

I'm not able to reproduce. Can you share the code and the dune file ?

I don't think this has anything to do with separate compilation. It's rather related to the the ppx syntax extension and how it uses locations. Here is an extract of...