Error codes · Streamed regions

PW5401

stream_states

The program must hold to this: a <stream> shows each state its query can be in, and no other.

Reading the diagnostic

pw check prints the code in brackets, [PW5401], 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.