Skip to content

drule.ml: fail term_match early when a substitution would let a bound variable escape - #191

Open
aqjune-aws wants to merge 2 commits into
jrh13:masterfrom
aqjune-aws:term_pmatch-earlyfail
Open

drule.ml: fail term_match early when a substitution would let a bound variable escape#191
aqjune-aws wants to merge 2 commits into
jrh13:masterfrom
aqjune-aws:term_pmatch-earlyfail

Merge branch 'master' into term_pmatch-earlyfail

5a58814
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
OCaml 5.4, Camlp5 8.04 (make switch-5)
succeeded Sep 1, 2026 in 13m 44s