Next / Previous / Contents / Shipman's homepage

22.4. Truths.check()

Section 12, “Truths.check(): Generate error messages”: There is only one top-level prime. Here is the trace table for the body of the loop.

tt/Truths-check
TF C1: inputList matches exactly one case of self

C1:

Prime1.11.2
message None

!C1:

Prime1.11.2
message error message
special yield error message