Skip to content

Instantly share code, notes, and snippets.

@jbrown215

jbrown215/LH error

Created March 20, 2017 04:24
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jbrown215/40196d2d04bb53a87b8654c827da79f6 to your computer and use it in GitHub Desktop.
Save jbrown215/40196d2d04bb53a87b8654c827da79f6 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
LH error
/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