search

ucsd-progsys / liquidhaskell

Liquid Types For Haskell
BSD 3-Clause "New" or "Revised" License
1.18k stars 133 forks source link

Wishlist: multiparameter measures #316

Open ranjitjhala opened 9 years ago

ranjitjhala commented 9 years ago

@nikivazou since you asked for a concrete use case for multi parameter measures, heres one:

https://github.com/ucsd-progsys/liquidhaskell/blob/master/tests/todo/satsolver.hs

Someday, it would be nice to support things like this, and its probably quite doable given the recent progress.

nikivazou commented 9 years ago

@ranjitjhala indeed this is a nice example of multi parameter measures. It seems feasible, but if we instantiate the (say) first parameters with all "good" candidates from the environment, ie, variables in the environment with appropriate types.

I will look at it again soon.