Skip to content

Instantly share code, notes, and snippets.

Jordan Brown jbrown215

Block or report user

Report or block jbrown215

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View gist:a9b7337fb939c6299621930781e99c3a
LiquidHaskell v0.8.2.2 Copyright 2013-17 Regents of the University of California. All Rights Reserved.
**** DONE: A-Normalization ****************************************************
**** DONE: annotate ***********************************************************
**** RESULT: ERROR *************************************************************
View dream type signature
select :: fs:[Filter a <\u -> p>] -> [Tagged <\u -> p> {v:a | evalQ fs a} ]
View World error
LiquidHaskell Copyright 2013-17 Regents of the University of California. All Rights Reserved.
**** DONE: A-Normalization ****************************************************
**** DONE: Extracted Core using GHC *******************************************
**** DONE: Transformed Core ***************************************************
View gist:6e6705cee7635ba7061046f5d20ccd1e
Code:
{-@ test2 :: [Blob] -> [{v: Blob | xVal v <= 10 && yVal v <= 20}] @-}
test2 = filterQ q2
where
q2 = (VarX `Le` (Const 11)) `And` (VarY `Le` (Const 20))
Error:
58 | test2 = filterQ q2
^^^^^^^^^^
@jbrown215
jbrown215 / HandlerT.lh
Created Mar 20, 2017
LH HandlerT Refinement
View HandlerT.lh
## HandlerT refinements
```
module spec Yesod.Core.Types where
data HandlerT site m a <p :: User -> Bool> = Yesod.Core.Types.HandlerT {
unHandlerT :: Yesod.Core.Types.HandlerData site (Yesod.Core.Types.MonadRoute m) -> m a
}
data variance HandlerT covariant covariant covariant contravariant
View 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}
View gist:d445bbb5b26a7ac4e1fdf794d74e8d49
getAuthorList :: Entity Paper -> Handler [Entity Author]
getAuthorList (Entity paperId _paper) = runDB $ selectList [AuthorPaper ==. paperId] []
View public key
ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAACAQDLUaUZ3HAPw1FkLnQATAfrYMRzHxR4gervZo9cSFIlihmoeBTNpNIFR40jHeD23zT34NSYdx4rMzFdrwgvQ1deiVLrz67HP/K/zDGTKoB0ufIGhuuaZlUMOMU0GModke6ukL98CUFoSJZr8Aj+PU6nrL6YiV3jsm8i8WpLz/zJv3nRjTYcVP376Jk1QJQtVIGi/Umxv0hkpW9rhWMmflaUq8/0hClPq+F1d6fUa7JDIOzynkpBxLhU4jSwXHWS+FSHgdhyryt/KbKtTCyrwTkHI7gZUR5jbvrerE4r8WgYcx98kPnoNuO7f1NmizWjB5aRioOQWJbjh2/tFkO4bifRzeRHTsGCciZ7pFIR30ZGp6T5dp2X1jWXM9pBDsjLROUaMHE2wWbmBRxky6xNiaZWocG/fScJpH8FvSt7v71p5yJLUHUh2MxQ201uNMaWucaMbNmc7G3vW5doKQmqk2YiHCyL+4uo4jVW12m+hO3mCmFSy0Zdki0zsLd6j0j+m0QtwQxhProkvkPstFSF0kc0NMD9joXY+M2q6UqO/2U8rRGnnxg3+6q/v7BUjV5sntPrA6EZiUMGREM/Ig6kgkebY0Kzg+M6cV2f8kDANHYv+iajcrvWmQnTknxkXr1iUUKOV/sVipDWloTWo+0hiTzMki6HXZ3bpUxMArfqo1/q+Q== jmbrown@andrew.cmu.edu
You can’t perform that action at this time.