Error codes · Syntax

PW0017

optimistic_clause

The program must hold to this: an optimistic clause names an entry, binds its value with as, and gives its transition after =>.

Reading the diagnostic

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