The following generates an error for corset wizard-iop:
(module test)
(defcolumns A (P :binary@prove))
(defperspective perp P ((B :byte@prove)))
(defconstraint test (:perspective perp) (vanishes! A))
The error generated is:
Error: columns test.B%perp and test.AUX_255_HOOD are in different perspectives
Observe that changing B :byte@prove to just B :byte and the error goes away. Therefore, this looks like a problem related to the lack of support for perspectives and range constraints.
(see also #101)
The following generates an error for
corset wizard-iop:The error generated is:
Observe that changing
B :byte@proveto justB :byteand the error goes away. Therefore, this looks like a problem related to the lack of support for perspectives and range constraints.