Add support for the variant operator in the type and effect system
#2762
Annotations
10 errors
|
quint/src/graphics.ts#L32
'ConcreteFixedRow' is defined but never used. Allowed unused vars must match /^_/u
|
|
quint/src/graphics.ts#L32
'ConcreteFixedRow' is defined but never used
|
|
quint/src/graphics.ts#L32
Member 'QuintType' of the import declaration should be sorted alphabetically
|
|
quint/src/parsing/ToIrListener.ts#L28
Member 'QuintConstType' of the import declaration should be sorted alphabetically
|
|
quint/src/types/builtinSignatures.ts#L16
'sumType' is defined but never used. Allowed unused vars must match /^_/u
|
|
quint/src/types/builtinSignatures.ts#L16
'sumType' is defined but never used
|
|
quint/src/util.ts#L17
'just' is defined but never used. Allowed unused vars must match /^_/u
|
|
quint/src/util.ts#L17
'just' is defined but never used
|
|
quint/test/types/inferrer.test.ts#L7
'moduleToString' is defined but never used. Allowed unused vars must match /^_/u
|
|
quint/test/types/inferrer.test.ts#L7
'moduleToString' is defined but never used
|
The logs for this run have expired and are no longer available.
Loading