lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

Rewriting a pattern containing an abstraction

Open QGarchery opened this issue 3 years ago • 1 comments

Hi again !

Rewriting a pattern that contains an abstraction does not seem to work anymore. For example, running lambdapi version 2.2.0 on the content of rew_abs.txt fails with Uncaught [File "src/handle/rewrite.ml", line 172, characters 18-24: Assertion failed].

Note that this file was verified with lambdapi version 2.1.0, and that this issue is similar to #670 but concerns the pattern to rewrite instead of the term to be rewritten.

QGarchery avatar Apr 18 '22 12:04 QGarchery

Change introduced in #834. Will try to fix it.

fblanqui avatar May 04 '22 06:05 fblanqui