Skip to content

Instantly share code, notes, and snippets.

Created Mar 20, 2017
What would you like to do?
/Users/JordanBrown/research/conference-management-system/Handler/Home.hs:115:14-39: Error: Liquid Type Mismatch
115 | liftM f x = x >>= \x' -> return (f x')
Inferred type
VV : a
not a subtype of Required type
VV : {VV : a | papp2 f VV ?a}
In Context
x : (HandlerT App IO a)
f : (Pred a b)
?a : {VV : a | VV == content x}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment