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] Float Literal #74

Closed BenjaminCosman closed 9 years ago

BenjaminCosman commented 9 years ago

See:

https://github.com/ucsd-progsys/liquid-fixpoint/blob/cutsolver/tests/todo/float-literal.fq

(excerpt from LH https://github.com/ucsd-progsys/liquidhaskell/blob/master/tests/pos/Fractional.hs)

ranjitjhala commented 9 years ago

Fixed by

https://github.com/ucsd-progsys/liquid-fixpoint/commit/1eaf8c2d6db42ae514954b6fdedecf7ff4b88702