Emilio Jesús Gallego Arias

@corwin-of-amber are you using the fast-load patch? One of the effects the patch has is to remove that implicit import. I agree that it would be nice to make this...

> So that import comes from somewhere within (core) mathcomp I guess. Agreed, it should be here as well, anyway. It comes from a side effect of importing (non used)...

Thanks!

IMVHO, the new syntax has several advantages, and given that there are only 10 rev deps in opam for ppx_import I think it'd be reasonable to deprecate it and remove...

Ooops, I've tried to fix the permissions, you should have an invite.

Yup, that's a pain; maybe you could reorganize code to put the necessary definitions on `Mod_intf.ml` ? and then import this module on both your files?

Unfortunately, unless you copy the sources to other directory, there is indeed a cycle problem in the way dune load rules I think, that is to say, if you have:...

That's tricky, I'm not sure I'd like Dune messing with my backtrace settings. For example, performance can be impacted.

Indeed differences between the `dev` and `release` profile have been one of the most common usability problems I've seen users facing in Dune, I have found for example quite a...

> This was discussed in the last team meeting. The consensus was that the benefits outweigh the cons and that having the backtraces on is the better default, especially for...