Error codes · Effects

PW0405

read_per_element

The program must hold to this: a read in a loop over data is not keyed by the loop's element: the list's reads are one set read, before the loop.

Reading the diagnostic

pw check prints the code in brackets, [PW0405], with the sentence above and the place in your program. Errors and diagnostics explains how to read one, and every code is listed with its rule.