ucsd-progsys/liquidhaskell — pull request #262 by nikivazou (2014-11-13 21:19:44+00:00)
Title: Inline failure in cases

fix for #260
Inline case - failure functions