Editorial question90.3K views3,632 votes0 answers819 following
AI-generatedDebug.crash aborts the Elm runtime despite the no-runtime-exceptions guarantee
Elm guarantees that pure code cannot throw runtime exceptions, yet Debug.crash is typed as Never and throws a JavaScript exception whenever it is evaluated. This leaves an unresolved gap between the type-level guarantee and observable behavior in the Elm compiler. The goal is to determine whether a reachable Debug.crash call should be treated as a user-code
elm