diff options
| author | John MacFarlane <fiddlosopher@gmail.com> | 2013-01-19 10:41:27 -0800 |
|---|---|---|
| committer | John MacFarlane <fiddlosopher@gmail.com> | 2013-01-19 10:41:42 -0800 |
| commit | 27e7c5772189a48c39861e94a8993a6db095dc0d (patch) | |
| tree | c8483307061ac0b7672708dd66c2127ca967497b /tests | |
| parent | 2fbe611a964e8fd62df5ed7cc58e5aa2db1d35d4 (diff) | |
LaTeX test updates for latest changes to template & h-k.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/lhs-test.latex | 4 | ||||
| -rw-r--r-- | tests/lhs-test.latex+lhs | 2 | ||||
| -rw-r--r-- | tests/writer.latex | 2 |
3 files changed, 7 insertions, 1 deletions
diff --git a/tests/lhs-test.latex b/tests/lhs-test.latex index acfb86679..b0d585261 100644 --- a/tests/lhs-test.latex +++ b/tests/lhs-test.latex @@ -6,6 +6,8 @@ \usepackage{fixltx2e} % provides \textsubscript % use microtype if available \IfFileExists{microtype.sty}{\usepackage{microtype}}{} +% use upquote if available, for straight quotes in verbatim environments +\IfFileExists{upquote.sty}{\usepackage{upquote}}{} \ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex \usepackage[utf8]{inputenc} \else % if luatex or xelatex @@ -70,7 +72,7 @@ return a single value: \begin{Highlighting}[] \OtherTok{unsplit ::} \NormalTok{(}\DataTypeTok{Arrow} \NormalTok{a) }\OtherTok{=>} \NormalTok{(b }\OtherTok{->} \NormalTok{c }\OtherTok{->} \NormalTok{d) }\OtherTok{->} \NormalTok{a (b, c) d} \NormalTok{unsplit }\FunctionTok{=} \NormalTok{arr }\FunctionTok{.} \FunctionTok{uncurry} - \CommentTok{-- arr (\textbackslash{}op (x,y) -> x {\char18}op{\char18} y) } + \CommentTok{-- arr (\textbackslash{}op (x,y) -> x `op` y) } \end{Highlighting} \end{Shaded} diff --git a/tests/lhs-test.latex+lhs b/tests/lhs-test.latex+lhs index ba0c67d48..0e0744b3c 100644 --- a/tests/lhs-test.latex+lhs +++ b/tests/lhs-test.latex+lhs @@ -6,6 +6,8 @@ \usepackage{fixltx2e} % provides \textsubscript % use microtype if available \IfFileExists{microtype.sty}{\usepackage{microtype}}{} +% use upquote if available, for straight quotes in verbatim environments +\IfFileExists{upquote.sty}{\usepackage{upquote}}{} \ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex \usepackage[utf8]{inputenc} \else % if luatex or xelatex diff --git a/tests/writer.latex b/tests/writer.latex index d0534cbc5..b3faaaa98 100644 --- a/tests/writer.latex +++ b/tests/writer.latex @@ -6,6 +6,8 @@ \usepackage{fixltx2e} % provides \textsubscript % use microtype if available \IfFileExists{microtype.sty}{\usepackage{microtype}}{} +% use upquote if available, for straight quotes in verbatim environments +\IfFileExists{upquote.sty}{\usepackage{upquote}}{} \ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex \usepackage[utf8]{inputenc} \else % if luatex or xelatex |