Skip to main content

Module matrix

Module matrix 

Source
Expand description

Syntax-support matrix data (docs/13, RULE-17).

Status strings are exactly the cells of docs/13 (S, R, U, –, …), in dialect order ES, PY, GO, RS, PC. code is the error a construct is rejected with when Rexact does not analyse it. A test fails if the rows drift from the documentation or if a rejection sample stops producing its code.

Structs§

MatrixRow
One row of the matrix.

Constants§

MATRIX
All rows, in documentation order.
REJECTION_SAMPLES
Constructs that must be rejected, with the code that proves it. Used by the tests and available to rexact info.