From 27e7c5772189a48c39861e94a8993a6db095dc0d Mon Sep 17 00:00:00 2001
From: John MacFarlane <fiddlosopher@gmail.com>
Date: Sat, 19 Jan 2013 10:41:27 -0800
Subject: [PATCH] LaTeX test updates for latest changes to template & h-k.
---
tests/lhs-test.latex | 4 +++-
tests/lhs-test.latex+lhs | 2 ++
tests/writer.latex | 2 ++
3 files changed, 7 insertions(+), 1 deletion(-)
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