This prelude file proposes standard library features that may belong in the language (compiler-internal) prelude sometime, after some further experience and discussion. Until then, they live here.
public func nyi() : None
:::warning Not yet implemented :::
Mark incomplete code with the nyi
and xxx
functions.
Each have calls that are well-typed in all typing contexts, which trap in all execution contexts.
public func xxx() : None
public func unreachable() : None
Mark unreachable code with the unreachable
function.
Calls are well-typed in all typing contexts, and they trap in all execution contexts.