Skip to main content

Browse the archive

Revision 13296e56f83c8078532a6e76c03283d47cff40f4 authored by Pierre-Yves Strub on 25 September 2023, 15:06:03 UTC, committed by Pierre-Yves Strub on 25 September 2023, 18:44:32 UTC 
In subst, when crossing a binding, remove the bound variable.
 
If not, the substitution can lead to name captures.
1 parent 8fa2f94
History
File Mode Size
XDG.ml -rw-r--r-- 4.7 KB
XDG.mli -rw-r--r-- 1.3 KB
back to top