search

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
BSD 3-Clause "New" or "Revised" License
132 stars 59 forks source link

[cutsolver] "Cut" keyword #71

Closed BenjaminCosman closed 9 years ago

BenjaminCosman commented 9 years ago

See:

https://github.com/ucsd-progsys/liquid-fixpoint/blob/a74815085ea63653d179c4a996e82c8c9a140efc/tests/todo/cut-keyword.fq

(excerpt of fq file generated by LH from https://github.com/ucsd-progsys/liquidhaskell/blob/master/tests/pos/Class2.hs)

ranjitjhala commented 9 years ago

Fixed by dd1ae19f3c0aab7599698615603780923b35f3db (or thereabouts).