-
Notifications
You must be signed in to change notification settings - Fork 15
Open
Labels
bindings:pythonAnything that concerns the Python bindings to VehicleAnything that concerns the Python bindings to Vehicle
Description
Currently this test skips test_quantifier_any.vcl and test_quantifier_all.vcl since the compiler throws this error:
Error: Support for bounds-only quantifiers not yet added
Stack:
CallStack (from HasCallStack):
developerError, called at src/Vehicle/Backend/Loss/Domain.hs:139:18 in vehicle-0.22.0-inplace:Vehicle.Backend.Loss.Domain
This test should not be skipped once this error is fixed
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
bindings:pythonAnything that concerns the Python bindings to VehicleAnything that concerns the Python bindings to Vehicle