View mods + ids
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1190934425:6 x 6 All Terrain Vehicle | |
366425329:FIR AWS(AirWeaponSystem) | |
787892271:A-10 Warthog | |
450814997:CBA_A3 | |
497660133:CUP Weapons | |
497661914:CUP Units | |
541888371:CUP Vehicles | |
1739713277:vurtual's vehicle base | |
463939057:ace | |
620260972:ALiVE |
View transform.js
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module.exports = function transformer(file, api) { | |
const j = api.jscodeshift; | |
const root = j(file.source); | |
root | |
.find(j.ObjectTypeAnnotation, {inexact: false, exact: false}) | |
.forEach(path => { | |
path.node.inexact = true; | |
}); | |
return root.toSource(); |
View gist:a9b7337fb939c6299621930781e99c3a
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
select :: fs:[Filter a <\u -> p>] -> [Tagged <\u -> p> {v:a | evalQ fs a} ] |
View World error
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 | |
^^^^^^^^^^ |
View HandlerT.lh
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
## 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
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/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
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
getAuthorList :: Entity Paper -> Handler [Entity Author] | |
getAuthorList (Entity paperId _paper) = runDB $ selectList [AuthorPaper ==. paperId] [] |
View public key
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |