Remove name shadowing 1 - Githubissues

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

BSD 3-Clause "New" or "Revised" License

132 stars 60 forks source link

Remove name shadowing 1 #672

Closed tbidne closed 9 months ago

tbidne commented 9 months ago

Motivated by https://github.com/ucsd-progsys/liquid-fixpoint/issues/538 and https://github.com/ucsd-progsys/liquidhaskell/issues/1962.

Assuming we still want this, this is the first in a series of PRs that will remove the shadowing instances.

Most of the changes in this PR are straightforward. The only module with substantial changes is Language.Fixpoint.Horn.Transformations.

Thanks!