Error codes · Declarations and their clauses

PW0327

written_rollback

The program must hold to this: an optimistic transition's reversal is derived, not written.

The decisions behind it

0025

Reading the diagnostic

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