liquidhaskell 0.8.6.0 → 0.8.6.2
raw patch · 11 files changed
+555/−5 lines, 11 filesdep ~Diffdep ~ghcbinary-added
Dependency ranges changed: Diff, ghc
Files
- .DS_Store binary
- liquidhaskell-0.8.6.2.tar.gz binary
- liquidhaskell.cabal +1/−5
- syntax/.DS_Store binary
- syntax/._.DS_Store binary
- syntax/hsannot.css +51/−0
- syntax/hscolour.css +46/−0
- syntax/liquid.css +105/−0
- syntax/liquidBody.css +145/−0
- syntax/liquid_dark_blog.css +101/−0
- syntax/liquid_light_blog.css +106/−0
.DS_Store view
binary file changed (10244 → 10244 bytes)
+ liquidhaskell-0.8.6.2.tar.gz view
binary file changed (absent → 45 bytes)
liquidhaskell.cabal view
@@ -1,5 +1,5 @@ name: liquidhaskell-version: 0.8.6.0+version: 0.8.6.2 synopsis: Liquid Types for Haskell description: Liquid Types for Haskell. license: BSD3@@ -208,8 +208,6 @@ default-extensions: PatternGuards ghc-options: -W -threaded -fdefer-typed-holes - if flag(devel)- ghc-options: -Werror executable gradual main-is: src/Gradual.hs@@ -222,8 +220,6 @@ buildable: False ghc-options: -W -threaded - if flag(devel)- ghc-options: -Werror executable target main-is: src/Target.hs
+ syntax/.DS_Store view
binary file changed (absent → 6148 bytes)
+ syntax/._.DS_Store view
binary file changed (absent → 120 bytes)
+ syntax/hsannot.css view
@@ -0,0 +1,51 @@++.hs-keyglyph, .hs-layout {color: red;}+.hs-keyword {color: blue;}+.hs-comment, .hs-comment a {color: green;}+.hs-str, .hs-chr {color: teal;}+.hs-keyword,.hs-conid, .hs-varid, .hs-conop, .hs-varop, .hs-num, .hs-cpp, .hs-sel, .hs-definition {}++/*+a.annot{+ position:relative; + color:#000;+ text-decoration:none+ }++a.annot:hover{z-index:25; background-color:#ff0}++a.annot span{display: none}++a.annot:hover span{ + display:block;+ position:absolute;+ top:2em; + left:2em; + border:5px solid #b4eeb4; + background-color: #b4eeb4;+ color:#000;+ text-align: left + }+*/++.annot{+ position:relative; + color:#000;+ text-decoration:none+ }++.annot:hover{z-index:25; background-color:#ff0}++.anntitle {display: none}++.annot:hover span{ /*the span will display just on :hover state*/+ display:block;+ position:absolute;+ top:2em; + left:2em; + border:5px solid #b4eeb4; + background-color: #b4eeb4;+ color:#000;+ text-align: left + }+
+ syntax/hscolour.css view
@@ -0,0 +1,46 @@+.hs-keyglyph, .hs-layout {color: red;}+.hs-keyword {color: blue;}+.hs-comment, .hs-comment a {color: green;}+.hs-str, .hs-chr {color: teal;}+.hs-keyword,.hs-conid, .hs-varid, .hs-conop, .hs-varop, .hs-num, .hs-cpp, .hs-sel, .hs-definition {}++a.annot{+ position:relative; + color:#000;+ text-decoration:none+ }++a.annot:hover{z-index:25; background-color:#ff0}++a.annot span.annottext{display: none}++a.annot:hover span.annottext{ + border-radius: 5px 5px;+ + -moz-border-radius: 5px; + -webkit-border-radius: 5px; + + box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.1); + -webkit-box-shadow: 5px 5px rgba(0, 0, 0, 0.1);+ -moz-box-shadow: 5px 5px rgba(0, 0, 0, 0.1); ++ display:block;+ position: absolute; + left: 1em; top: 2em; + z-index: 99;+ margin-left: 5; + background: #FFFFAA; + border: 2px solid #FFAD33;+ padding: 0.8em 1em;+}++/* +.classic { padding: 0.8em 1em; }+.custom { padding: 0.5em 0.8em 0.8em 2em; }+* html a:hover { background: transparent; }+.classic {background: #FFFFAA; border: 1px solid #FFAD33; }+.critical { background: #FFCCAA; border: 1px solid #FF3334; }+.help { background: #9FDAEE; border: 1px solid #2BB0D7; }+.info { background: #9FDAEE; border: 1px solid #2BB0D7; }+.warning { background: #FFFFAA; border: 1px solid #FFAD33; }+*/
+ syntax/liquid.css view
@@ -0,0 +1,105 @@+.hs-linenum {+ color: #B2B2B2; + font-style: italic;+}++.hs-error {+ background-color: #FF8585 ;+}++.hs-keyglyph {+ color: #007020+}++.hs-keyword {+ color: #007020;+ // font-weight: bold;+}++.hs-comment, .hs-comment a {color: green;}++.hs-str, .hs-chr {color: teal;}++.hs-conid { + color: #902000; /* color: #00FFFF; color: #0E84B5; */+ //font-weight: bold; +}++.hs-definition { + color: #06287E + /* font-weight: bold; */ +}++.hs-varid, .hs-varop, .hs-layout {+ color: black; +}++.hs-num {+ color: #40A070;+}++.hs-conop {+ color: #902000; +}++.hs-cpp {+ color: orange;+}++.hs-sel {}++a.annot {+ position:relative; + color:#000;+ text-decoration:none; + white-space: pre; +}++a.annot:hover { + z-index:25; + background-color: #D8D8D8;+}++a.annot span.annottext{display: none}++a.annot:hover span.annottext{ + + border-radius: 5px 5px;+ + -moz-border-radius: 5px; + -webkit-border-radius: 5px; + + box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.1); + -webkit-box-shadow: 5px 5px rgba(0, 0, 0, 0.1);+ -moz-box-shadow: 5px 5px rgba(0, 0, 0, 0.1); ++ white-space:pre;+ display:block;+ position: absolute; + left: 1em; top: 2em; + z-index: 99;+ margin-left: 5; + background: #FFFFAA; + border: 3px solid #FFAD33;+ padding: 0.8em 1em;+}++code {+ /* font-weight: bold; */+ background-color: rgb(250, 250, 250); + border: 1px solid rgb(200, 200, 200);+ padding-left: 4px;+ padding-right: 4px;+}++pre {+ background-color: #f0f0f0;+ border-top: 1px solid #ccc;+ border-bottom: 1px solid #ccc;+ padding: 5px;+ // font-size: 120%;+ // font-family: Bitstream Vera Sans Mono,monospace;+ display: block;+ overflow: visible;+}+
+ syntax/liquidBody.css view
@@ -0,0 +1,145 @@+html {+ font-family: "helvetica";+}++code {+ /* font-weight: bold; */+ background-color: rgb(250, 250, 250); + border: 1px solid rgb(200, 200, 200);+ padding-left: 4px;+ padding-right: 4px;+}++/* pygments */++pre {+ background-color: #f0f0f0;+ border-top: 1px solid #ccc;+ border-bottom: 1px solid #ccc;+ padding: 5px;+ font-size: 13px;+ font-family: Bitstream Vera Sans Mono,monospace;+}++/********************** Links **************************************/++a:hover { + color: black; /* #1d4c77; */+ /* text-decoration:underline */+}+++/********************** General Divs ********************************/++div#navigation {+ text-align: center;+ border-bottom: 4px solid black;+}++div#navigation a {+ color: white;+ text-decoration: none;+ background-color: black;+ padding: 3px 10px 3px 10px;+ margin: 0px 10px 0px 10px;+}++body {+ width: 700px;+ /* width: 900px; */+ margin: 0px auto 0px auto;+}++div#header {+ height: 32px;+ padding: 20px 0px 20px 60px;+}++div#header img {+ display: inline;+ vertical-align: middle;+}++div#header h1 {+ padding-left: 10px;+ display: inline;+ text-transform: uppercase;+ vertical-align: middle;+}++div#main {+ margin: 0px auto 0px auto;+ width: 760px;+}++div#sidebar {+ margin-right: 30px;+ width: 160px;+ float: left;+ text-align: right;+}++div#sidebar a {+ display: block;+ font-size: 110%;+ text-decoration: none;+ margin-bottom: 10px;+ text-transform: uppercase;+}++div#content {+ width: 570px;+ float: right;+}++div#footer {+ padding-top: 30px;+ clear: both;+ font-size: 90%;+ text-align: center;+}+++h2 {+ font-size: 120%;+ text-transform: uppercase;+}++h3 {+ font-size: 100%;+ text-transform: uppercase;+}++div.column {+ width: 50%;+ float: left;+}++div.column p {+ padding-right: 15px;+}++img {+ display: block;+ margin: 10px auto 10px auto;+ border: none;+}++ul {+ list-style-type: square;+ padding-left: 1em;+ margin-left: 1em;+}++++p.caption {+ display: none;+}++img {+ border:0px;+ margin-left:auto;+ margin-right:auto;+ display:block+}
+ syntax/liquid_dark_blog.css view
@@ -0,0 +1,101 @@+.hs-linenum {+ color: #666666; //CCCCCC;+ font-style: italic;+}++.hs-error {+ background-color: #B80000 ;+}++.hs-keyglyph, .hs-layout { /* color: red; */ + color: white;+}++.hs-keyword {+ color: #75D075 ; + //font-weight: bold;+}++.hs-comment, .hs-comment a {color: green;}++.hs-str, .hs-chr {color: #7FFFD4;}++.hs-conid { + color: #00FFFF; + //font-weight: bold; +}++.hs-definition { + color: #FFFFFF; /* #ADFF2F; */+ // font-weight: bold; +}++.hs-varid, .hs-varop {+ color: white; /* #BDDEFF; */+}++.hs-num, .hs-conop {+ color: aquamarine;+}++.hs-cpp {+ color: orange;+}++.hs-sel {}++a.annot {+ position:relative; + color:#000;+ text-decoration:none;+ white-space: pre; +}++// a.annot:hover { +// z-index:25; +// background-color:#585858;+// /* background-color:#ff0 */+// }++a.annot span.annottext{display: none}++a.annot:hover span.annottext{ + + border-radius: 5px 5px;+ -moz-border-radius: 5px; + -webkit-border-radius: 5px; + box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.1); + -webkit-box-shadow: 5px 5px rgba(0, 0, 0, 0.1);+ -moz-box-shadow: 5px 5px rgba(0, 0, 0, 0.1); ++ white-space:pre ;+ display:block;+ position: absolute; + left: 1em; top: 2em; + z-index: 9999;+ margin-left: 5; + padding: 0.8em 1em;+ border: 3px solid #6495ED ; // #5F9EA0; #FFAD33;+ background: #EBF5FF; // #C3F6FA #F7F8FD #C1CDCD #FFFFAA; +}++code {+ /* font-weight: bold; */+ background-color: rgb(250, 250, 250); + border: 1px solid rgb(200, 200, 200);+ padding-left: 4px;+ padding-right: 4px;+}++pre {+ border-radius: 5px 5px;+ // font-family: Bitstream Vera Sans Mono,monospace;+ font-size: 100%;+ // color: rgb(255, 255, 255);+ // background-color: rgb(0, 0, 0);+ // margin-bottom: 2em;+ padding: 8px;+ display: block;+ overflow: visible; +}+
+ syntax/liquid_light_blog.css view
@@ -0,0 +1,106 @@+.hs-linenum {+ color: #CCCCCC;+ font-style: italic;+}+++.hs-error {+ background-color: #FF8585 ;+}++.hs-keyglyph {+ color: #007020+}++.hs-keyword {+ color: #007020;+ // font-weight: bold;+}++.hs-comment, .hs-comment a {color: green;}++.hs-str, .hs-chr {color: teal;}++.hs-conid { + color: #902000; /* color: #00FFFF; color: #0E84B5; */+ //font-weight: bold; +}++.hs-definition { + color: #06287E + /* font-weight: bold; */ +}++.hs-varid, .hs-varop, .hs-layout {+ color: black; +}++.hs-num {+ color: #40A070;+}++.hs-conop {+ color: #902000; +}++.hs-cpp {+ color: orange;+}++.hs-sel {}++a.annot {+ position:relative; + color:#000;+ text-decoration:none; + white-space: pre; +}++a.annot:hover { + z-index:25; + background-color: #D8D8D8;+}++a.annot span.annottext{display: none}++a.annot:hover span.annottext{ + + border-radius: 5px 5px;+ + -moz-border-radius: 5px; + -webkit-border-radius: 5px; + + box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.1); + -webkit-box-shadow: 5px 5px rgba(0, 0, 0, 0.1);+ -moz-box-shadow: 5px 5px rgba(0, 0, 0, 0.1); ++ white-space:pre;+ display:block;+ position: absolute; + left: 1em; top: 2em; + z-index: 99;+ margin-left: 5; + background: #FFFFAA; + border: 3px solid #FFAD33;+ padding: 0.8em 1em;+}++code {+ /* font-weight: bold; */+ background-color: rgb(250, 250, 250); + border: 1px solid rgb(200, 200, 200);+ padding-left: 4px;+ padding-right: 4px;+}++pre {+ background-color: #f0f0f0;+ border-top: 1px solid #ccc;+ border-bottom: 1px solid #ccc;+ padding: 5px;+ font-size: 120%;+ // font-family: Bitstream Vera Sans Mono,monospace;+ display: block;+ overflow: visible;+}+