Skip to content

Env: add more definitions for the error monad

Guillaume Claret requested to merge guillaume-claret@add-more-def-env-error_monad into master

Add more definitions in the environment as it should be needed for the internal error tasks, so that we do not recompile the environment all the time.

Merge request reports