Module panic
SourceDescription
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
panicintrinsic.