search

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 3 #679

Closed tbidne closed 4 months ago

tbidne commented 6 months ago

Follow-up to https://github.com/ucsd-progsys/liquid-fixpoint/pull/673.

Liquidhaskell's ./scripts/test/test_plugin.sh passed with this.

facundominguez commented 4 months ago

Thanks @tbidne! I had forgotten about this PR and just rediscovered it today.

tbidne commented 4 months ago

No problem, thanks!