Chas Emerick comments

Repositories
Issues
Comments

Results 143 comments of


                                            Chas Emerick

program output from `exec -w` and rule actions interspersed with repeated dune status output

> Assuming dune isn't actually writing the same message over and over, I suspect the repeated messages are an artifact of how dune is writing to the connected terminal? I've...

program output from `exec -w` and rule actions interspersed with repeated dune status output

Yes, this is improved on main, though I wouldn't say it's entirely fixed: * the _constant_ spurious messages are now gone * when running a rule's action, the final status...

Additional equality metric accommodating JS numeric semantics?

It's a fair question. I did aim to constrain the scope of things to (well-defined) numerics, for all the reasons you mentioned. I personally don't think the truly degenerate cases...