Commit | Line | Data |
---|---|---|
d9b1567a TS |
1 | This patch is taken from upstream. It fixes a LaTeX test that is broken due |
2 | to using a Skylighting version greater than or equal to 0.8.1.1. | |
3 | ||
4 | From 2cd1c7b30f200d18f1f1bdef1671369e1ad303ed Mon Sep 17 00:00:00 2001 | |
5 | From: John MacFarlane <jgm@berkeley.edu> | |
6 | Date: Thu, 13 Jun 2019 19:33:52 -0700 | |
7 | Subject: [PATCH] Update test for skylighting 0.8.1.1. | |
8 | ||
9 | --- | |
10 | test/lhs-test.latex | 4 ++-- | |
11 | 1 file changed, 2 insertions(+), 2 deletions(-) | |
12 | ||
13 | diff --git a/test/lhs-test.latex b/test/lhs-test.latex | |
14 | index 0442db5ca..a456995a3 100644 | |
15 | --- a/test/lhs-test.latex | |
16 | +++ b/test/lhs-test.latex | |
17 | @@ -94,9 +94,9 @@ return a single value: | |
18 | ||
19 | \begin{Shaded} | |
20 | \begin{Highlighting}[] | |
21 | -\OtherTok{unsplit ::}\NormalTok{ (}\DataTypeTok{Arrow}\NormalTok{ a) }\OtherTok{=>}\NormalTok{ (b }\OtherTok{->}\NormalTok{ c }\OtherTok{->}\NormalTok{ d) }\OtherTok{->}\NormalTok{ a (b, c) d} | |
22 | +\OtherTok{unsplit ::}\NormalTok{ (}\DataTypeTok{Arrow}\NormalTok{ a) }\OtherTok{=>}\NormalTok{ (b }\OtherTok{{-}>}\NormalTok{ c }\OtherTok{{-}>}\NormalTok{ d) }\OtherTok{{-}>}\NormalTok{ a (b, c) d} | |
23 | \NormalTok{unsplit }\OtherTok{=}\NormalTok{ arr }\OperatorTok{.} \FunctionTok{uncurry} | |
24 | - \CommentTok{-- arr (\textbackslash{}op (x,y) -> x `op` y)} | |
25 | + \CommentTok{{-}{-} arr (\textbackslash{}op (x,y) {-}> x \textasciigrave{}op\textasciigrave{} y)} | |
26 | \end{Highlighting} | |
27 | \end{Shaded} | |
28 | ||
29 | -- | |
30 | 2.23.0 | |
31 |