Check a PFA abstract syntax tree for semantic errors using a titus.pfaast.NoTask to avoid unnecessary work.
Raises an exception if the document is not valid.
Parameters: |
|
---|---|
Return type: | None |
Returns: | nothing if the PFA document is valid; raises an exception otherwise |