Rudi Grinberg

Results 957 comments of Rudi Grinberg

@cristianoc Is there a reason why you can't enable bytecode targets in your projects?

Thanks, that makes sense. For now I think the correct workaround is to tell people that disabling bytecode targets is a bad idea (for many reasons) On Sep 8, 2020,...

No news. No progress has been made because nobody has yet proposed a solid plan for to fix this issue

Lots of interesting discussion here, but to summarize a few key points: Aliases already have well defined semantics. Adding ad-hoc rules like: > should run all other formatting rules associated...

There's no problem with being able to select the shell. Portability isn't a universal concern and it's not the job of the build system to force it down our users....

The problem with the special symbols is twofold: * The dash and oil shells are just as useful as zsh and bash. * You're not allowing users to customize the...

> do you think %{script} is necessary? I can give it a try myself

Not sure I really understand the issue, but you might be able to fix if you disable substitution altogether with (subst disabled) in the dune-project file. To help out more,...

Holding off sounds fine to me > Make it possible to declare dependencies on whole directory targets (instead of having to use globs). This seems like an important feature to...

> Nit, but why not just `(open ...)`? I think that can be confused with modules opened when building the library. Although now that I look at it, `auto_open` isn't...