Module panic

Source
Description

Panic effect and intrinsic.

panic is a free :fn of stack effect ( Str -> Never ) wrapping the host intrinsic — it is not an effect op. PanicInfo captures a panic as a record of message, location, and backtrace (location and frames are Str placeholders until structured Location / Frame types land).

+Panic declares .catch and .resume-unwind. The host currently ships only the default abort-on-panic handler, so .catch terminates today; real handler plumbing arrives with the effect-handler infrastructure.

Data Types

Records

PanicInfo

Panic payload: message, source location, and a sequence of backtrace

Abstractions

Effects

Panic

Observable-panic effect.

Functions

Functions

panic

Free fn wrapping the host panic intrinsic.