I am having trouble understanding some type errors around cuts in elpi. Whereas the following code works at the beginning of one of my predicates:
!, std.map.make cmp_term EmptyMap, % ...
The following snippet does not typecheck.
f A B. a X Y :- !, f X Y.
Here is the type error:
Error: At least one of the following errors holds: File "./preprocessing.elpi", line 111: (preprocessing., ! (preprocessing.f X Y)) has type (prop -> prop) but is used with type prop File "./preprocessing.elpi", line 111: (preprocessing., ! (preprocessing.f X Y)) has type (prop -> prop) but is used with type goal-ctx
true before the cut makes it typecheck. It would mean the cut needs at least one predicate before it. But this is strange considering I have been executing some working code containing cuts at the beginning of some predicates.
Does this have something to do with namespacing? Thanks.
I'm not an elpi expert, but I could help, can you point me to the whole file?
Unfortunately not, at the moment. And my files are linked one to another, so the bug might come from somewhere else... But thanks a lot for proposing!
Anyway, it looks like it is linked to namespacing because removing the namespace solves the problem. I think I will go on with this solution for now and maybe try to minimise the bug and file an issue if it remains.
Last updated: Jun 06 2023 at 22:01 UTC