Corset didn't pick up typo in Shakira constraints file???

[booleanfunction]

I noticed that Corset didn't pick up "id-data" as being a problem in the Shakira constraints file, line 69.

I think this is a typo and should be "is-data"???

https://github.com/Consensys/linea-constraints/blob/7fe32e2761e3246628fc135dd5e3837e01ba1295/shakiradata/constraints.lisp#L69

[DavePearce]

@booleanfunction So, the issue seems to be that is-last-data-row is not actually used anywhere. Is that right?

[DavePearce]

I couldn't recreate the issue when the function in question is being used. But I can recreate it when its not being used:

(module m1)
(defcolumns X Y Z)

(defun (fun1) (force-bool (+ X Y)))
(defun (fun2) (force-bool (* (fun3) (next Z))))

(defconstraint tmp () (vanishes! (fun1)))

Here, fun2 refers to the missing fun3.