search

ucsd-progsys / liquid-fixpoint

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

[cutsolver] Parse error #72

Closed BenjaminCosman closed 9 years ago

BenjaminCosman commented 9 years ago

See:

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

(adapted from ite1.hs.fq)

ranjitjhala commented 9 years ago

Fixed by: 86cf3040f523dab4558f178efa75a0583ce99d80

(basically, disable ternary exprs in e ? e : e form, require: if e then e else e)