● Chapter 15 — exceptions is built and CI-green (78 exercises). #16

Merged

navicore merged 1 commit from chapter15 into main

2026-06-27 18:09:11 +00:00

navicore commented

2026-06-27 18:07:48 +00:00

Owner

Five exercises, each plgc-verified (every solution passes its test/0, every starter parses):

01-catch-recover — catch/3 + throw/1 as a pair; price_or catches no_price(_) and supplies a default.
02-catch-error — the ISO error(Formal, Context) shape; safe_div catches the engine's
evaluation_error(zero_divisor). Explicit tie-back to chs 12/14 where errors were avoided.
03-selective — the catcher is a unification; guarded recovers type_error(,) but lets zero_divisor propagate
to an outer catch. Warns against the over-greedy catch(,,...).
04-non-local-exit — throw as control flow; product short-circuits to 0 the moment it meets a 0, jumping past
the pending multiplications.
05-validate (capstone) — custom typed balls (not_a_number/negative/too_large) as a reporting channel; check
catches open and reports the ball. Closes the arc: narrow catchers in 2–3, wide-open here, and why each is
right.

Five exercises, each plgc-verified (every solution passes its test/0, every starter parses): 1. 01-catch-recover — catch/3 + throw/1 as a pair; price_or catches no_price(_) and supplies a default. 2. 02-catch-error — the ISO error(Formal, Context) shape; safe_div catches the engine's evaluation_error(zero_divisor). Explicit tie-back to chs 12/14 where errors were avoided. 3. 03-selective — the catcher is a unification; guarded recovers type_error(_,_) but lets zero_divisor propagate to an outer catch. Warns against the over-greedy catch(_,_,...). 4. 04-non-local-exit — throw as control flow; product short-circuits to 0 the moment it meets a 0, jumping past the pending multiplications. 5. 05-validate (capstone) — custom typed balls (not_a_number/negative/too_large) as a reporting channel; check catches open and reports the ball. Closes the arc: narrow catchers in 2–3, wide-open here, and why each is right.

navicore added 1 commit

2026-06-27 18:07:48 +00:00

● Chapter 15 — exceptions is built and CI-green (78 exercises).

CI - Linux / CI - Linux x86_64 (pull_request) Successful in 47s

Details

3b0ffe2e0d

Five exercises, each plgc-verified (every solution passes its test/0, every starter parses):

  1. 01-catch-recover — catch/3 + throw/1 as a pair; price_or catches no_price(_) and supplies a default.
  2. 02-catch-error — the ISO error(Formal, Context) shape; safe_div catches the engine's
  evaluation_error(zero_divisor). Explicit tie-back to chs 12/14 where errors were avoided.
  3. 03-selective — the catcher is a unification; guarded recovers type_error(_,_) but lets zero_divisor propagate
  to an outer catch. Warns against the over-greedy catch(_,_,...).
  4. 04-non-local-exit — throw as control flow; product short-circuits to 0 the moment it meets a 0, jumping past
  the pending multiplications.
  5. 05-validate (capstone) — custom typed balls (not_a_number/negative/too_large) as a reporting channel; check
  catches open and reports the ball. Closes the arc: narrow catchers in 2–3, wide-open here, and why each is
  right.

navicore merged commit c19243feac into main

2026-06-27 18:09:11 +00:00

navicore deleted branch chapter15

2026-06-27 18:09:11 +00:00

navicore referenced this pull request from a commit

2026-06-27 18:09:13 +00:00

Merge pull request '● Chapter 15 — exceptions is built and CI-green (78 exercises).' (#16) from chapter15 into main