Skip to content

DUX-5107 Error log: Use errors as a proxy for a summary#441

Merged
9999years merged 1 commit into
mainfrom
wiggles/dux-5107/lowt
Apr 28, 2026
Merged

DUX-5107 Error log: Use errors as a proxy for a summary#441
9999years merged 1 commit into
mainfrom
wiggles/dux-5107/lowt

Conversation

@9999years
Copy link
Copy Markdown
Member

On startup with --repl-no-load, we don't get an "Ok, n modules loaded" or "Failed, n modules loaded" message, so we filled that in with an empty success message.

But we can get compilation errors, and those are not "All good"! So let's use the presence of compilation errors as a proxy for success (again, only at startup) in cases where no compilation summary is printed explicitly.

@9999years 9999years requested a review from a team as a code owner April 28, 2026 20:01
@linear
Copy link
Copy Markdown

linear Bot commented Apr 28, 2026

On startup with `--repl-no-load`, we don't get an "Ok, n modules loaded"
or "Failed, n modules loaded" message, so we filled that in with an
empty success message.

But we can get compilation errors, and those are not "All good"! So
let's use the presence of compilation errors as a proxy for success
(again, only at startup) in cases where no compilation summary is
printed explicitly.
@9999years 9999years force-pushed the wiggles/dux-5107/lowt branch from 1f49770 to 4b2b869 Compare April 28, 2026 20:04
@9999years 9999years enabled auto-merge (squash) April 28, 2026 20:05
@9999years 9999years requested review from hdgarrood and removed request for wavewave April 28, 2026 20:13
@9999years 9999years merged commit f3e5023 into main Apr 28, 2026
39 checks passed
@9999years 9999years deleted the wiggles/dux-5107/lowt branch April 28, 2026 21:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants