mirror of
https://github.com/enso-org/enso.git
synced 2024-12-23 21:01:51 +03:00
f2cb1f097e
Implements `Warnings.get_all wrap_errors=True` which wraps warnings attached to values inside vectors with `Map_Error`, which includes the position of the value within the vector. See [the documentation](https://github.com/enso-org/enso/blob/develop/docs/semantics/wrapped-errors.md) for more details. `get_all wrap_errors=True` does not change the warnings that are attached to values -- it wraps them before returning them to the caller, but does not change the original warnings attached to the values. Wrapped warnings only appear attached to the vector itself. The values inside the vector do not have their warnings wrapped. Warning propagation is not changed at all; `Warnings.get_all` (with default `wrap_errors=False`) behaves as before. `get_all wrap_errors=True` is meant to be used primarily by the IDE, although it can be used anywhere this wrapping is desired. |
||
---|---|---|
.. | ||
data | ||
polyglot-sources/benchmark-java-helpers/src/main/java/org/enso/benchmark_helpers | ||
src | ||
package.yaml |