diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-11-02 16:02:04 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-11-02 16:03:40 -0700 |
| commit | 856587ff63b1e89c71b73a367f5ba1730050e6dd (patch) | |
| tree | f2a6811979d114270d49ae2688a75df84146e61c /test/lhs-test.html+lhs | |
| parent | 5df272254d48d9e5cec1d351bab3643b02fa52c2 (diff) | |
Use latest skylighting; ensure no duplicate ids on code lines.
The line identifiers are built using the code block's identifier
as a prefix. If the code block has null identifier, we use
"cb1", "cb2", etc.
Closes #4031.
Diffstat (limited to 'test/lhs-test.html+lhs')
| -rw-r--r-- | test/lhs-test.html+lhs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/lhs-test.html+lhs b/test/lhs-test.html+lhs index f7a8302a4..8d27e6a58 100644 --- a/test/lhs-test.html+lhs +++ b/test/lhs-test.html+lhs @@ -72,9 +72,9 @@ code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Infor <h1 id="lhs-test">lhs test</h1> <p><code>unsplit</code> is an arrow that takes a pair of values and combines them to return a single value:</p> -<pre class="sourceCode literate literatehaskell"><code class="sourceCode literatehaskell"><div class="sourceLine" id="1" href="#1" data-line-number="1"><span class="ot">> unsplit ::</span> (<span class="dt">Arrow</span> a) <span class="ot">=></span> (b <span class="ot">-></span> c <span class="ot">-></span> d) <span class="ot">-></span> a (b, c) d</div> -<div class="sourceLine" id="2" href="#2" data-line-number="2"><span class="ot">></span> unsplit <span class="fu">=</span> arr <span class="fu">.</span> uncurry</div> -<div class="sourceLine" id="3" href="#3" data-line-number="3"><span class="ot">></span> <span class="co">-- arr (\op (x,y) -> x `op` y)</span></div></code></pre> +<pre class="sourceCode literate literatehaskell" id="cb1"><code class="sourceCode literatehaskell"><div class="sourceLine" id="cb1-1" data-line-number="cb1-1"><span class="ot">> unsplit ::</span> (<span class="dt">Arrow</span> a) <span class="ot">=></span> (b <span class="ot">-></span> c <span class="ot">-></span> d) <span class="ot">-></span> a (b, c) d</div> +<div class="sourceLine" id="cb1-2" data-line-number="cb1-2"><span class="ot">></span> unsplit <span class="fu">=</span> arr <span class="fu">.</span> uncurry</div> +<div class="sourceLine" id="cb1-3" data-line-number="cb1-3"><span class="ot">></span> <span class="co">-- arr (\op (x,y) -> x `op` y)</span></div></code></pre> <p><code>(***)</code> combines two arrows into a new arrow by running the two arrows on a pair of values (one arrow on the first item of the pair and one arrow on the second item of the pair).</p> |