From 856587ff63b1e89c71b73a367f5ba1730050e6dd Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Thu, 2 Nov 2017 16:02:04 -0700 Subject: 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. --- test/lhs-test.html | 6 +++--- test/lhs-test.html+lhs | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) (limited to 'test') diff --git a/test/lhs-test.html b/test/lhs-test.html index 28cfdf7a4..a921c6a56 100644 --- a/test/lhs-test.html +++ b/test/lhs-test.html @@ -72,9 +72,9 @@ code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Infor

lhs test

unsplit is an arrow that takes a pair of values and combines them to return a single value:

-
unsplit :: (Arrow a) => (b -> c -> d) -> a (b, c) d
-
unsplit = arr . uncurry
-
-- arr (\op (x,y) -> x `op` y)
+
unsplit :: (Arrow a) => (b -> c -> d) -> a (b, c) d
+
unsplit = arr . uncurry
+
-- arr (\op (x,y) -> x `op` y)

(***) 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).

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

lhs test

unsplit is an arrow that takes a pair of values and combines them to return a single value:

-
> unsplit :: (Arrow a) => (b -> c -> d) -> a (b, c) d
-
> unsplit = arr . uncurry
-
> -- arr (\op (x,y) -> x `op` y)
+
> unsplit :: (Arrow a) => (b -> c -> d) -> a (b, c) d
+
> unsplit = arr . uncurry
+
> -- arr (\op (x,y) -> x `op` y)

(***) 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).

-- cgit v1.2.3