Cosette
Cosette copied to clipboard
EXCEPT statements produce Coq syntax error
schema s1(id:ty0, ??);
table Products(s1);
table Inventory(s1);
query q1
`
SELECT id as p_id
FROM Products
EXCEPT
SELECT id as i_id
FROM Inventory
`;
verify q1 q1;
The above query will cause a syntax error on the id
in the second SELECT
line.