Add type and effect checking for match expressions
#2832
shonfedermain.yml
on: pull_request
quint-linting
38s
quint-vscode-linting
2m 11s
quint-test-generated-up-to-date
1m 23s
quint-antlr-grammar
33s
Matrix: quint-examples-dashboard
Matrix: quint-integration-tests
Matrix: quint-unit-tests
Matrix: quint-vscode-plugin
Annotations
7 errors and 3 warnings
|
quint-linting:
quint/src/types/specialConstraints.ts#L17
Member 'ErrorTree' of the import declaration should be sorted alphabetically
|
|
quint-linting:
quint/src/types/specialConstraints.ts#L20
'rowFieldNames' is defined but never used. Allowed unused vars must match /^_/u
|
|
quint-linting:
quint/src/types/specialConstraints.ts#L20
'rowFieldNames' is defined but never used
|
|
quint-linting:
quint/src/types/specialConstraints.ts#L24
'setDifference' is defined but never used. Allowed unused vars must match /^_/u
|
|
quint-linting:
quint/src/types/specialConstraints.ts#L24
'setDifference' is defined but never used
|
|
quint-linting:
quint/src/types/specialConstraints.ts#L250
'variantExpr' is assigned a value but never used. Allowed unused elements of array destructuring patterns must match /^_/u
|
|
quint-linting
Process completed with exit code 1.
|
|
quint-linting:
quint/src/types/specialConstraints.ts#L233
This line has a length of 136. Maximum allowed is 120
|
|
quint-linting:
quint/src/types/specialConstraints.ts#L234
This line has a length of 139. Maximum allowed is 120
|
|
quint-linting:
quint/src/types/specialConstraints.ts#L235
This line has a length of 135. Maximum allowed is 120
|