More cleanup for fixpoint/elab/crash/error

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

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

141 stars 61 forks source link

Closed ranjitjhala closed 1 year ago

ranjitjhala commented 1 year ago

related to previous PR #636 -- now return the error-string from fixpoint so clients can render it if desired.