Error codes · Device store
PW6807
device_signal_form
The program must hold to this: a signal the device keeps is of a type the device can hold: data, no function, no type that contains itself, no opaque type with a where.
Reading the diagnostic
pw check prints the code in brackets, [PW6807], 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.