~/bend-docscommunity

src/CrashPoint.bend relies on unsafe/foreign

raw source on the hub · import mylsm-lsm-store@0.3.2.0/src/CrashPoint.bend as CrashPoint

2 imports
import Base
import ./Console.bend as Console

Definitions

def nonempty source · line 6 · raw

@value:String -> Bool

Pure checkpoint policy. Console.get_env maps an unset value to "", so the non-empty guard distinguishes disabled injection from an exact empty match.

def enabled source · line 11 · raw

@+configured:String -> @requested:String -> Bool

def hit_decision source · line 19 · raw

@active:Bool -> @name:String -> IO(Result<&1, &1, Pair(U32, String), Unit>)

def hit source · line 28 · raw

@+name:String -> IO(Result<&1, &1, Pair(U32, String), Unit>)

Test-only checkpoint. Environment lookup and activation policy stay in Bend; only marker emission and SIGSTOP remain in the host twins.

Effects (foreign code)

effect stop source · line 15 · raw

@name:String -> IO(Result<&1, &1, Pair(U32, String), Unit>)

Irreducible host boundary: emit an unbuffered marker and stop this process.

foreign: src/effs/crash_point.c, src/effs/crash_point.js