avail/avail.exceptions/AvailErrorCode/E_MACRO_PREFIX_FUNCTIONS_MUST_RETURN_TOP

E_MACRO_PREFIX_FUNCTIONS_MUST_RETURN_TOP

E_MACRO_PREFIX_FUNCTIONS_MUST_RETURN_TOP
Content copied to clipboard

A macro prefix function is invoked when a potential macro site reaches certain checkpoints. Only the macro body may return a phrase. One of the prefix functions did not have return type ⊤.

Functions

Link copied to clipboard
fun nativeCode(): Int
Content copied to clipboard

Answer the numeric error code as a Java Int.

Link copied to clipboard
fun numericCode(): A_Number
Content copied to clipboard

Answer the numeric error code as an Avail.

Properties

Link copied to clipboard
val code: Int
Content copied to clipboard

The numeric error code.

Link copied to clipboard
open val isCausedByInstructionFailure: Boolean
Content copied to clipboard

Can the AvailErrorCode result from failure of an L1Operation?

Link copied to clipboard
val name: String
Content copied to clipboard
Link copied to clipboard
val ordinal: Int
Content copied to clipboard