From 7ccaa77797cc03c64cee4437f02aef468d9d5678 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 25 Jan 2019 16:22:56 -0800
Subject: [PATCH] LaTeX template: Set default listings language for lua,
assembler.
Otherwise we get an error when trying to compile code
with lua or assembler code.
To change the default dialect (currenty 5.3 for lua
and x86masm for assembler), you can use `--include-in-header`
to inject something like
\lstset{defaultdialect=[5.2]Lua}
Closes #5227.
---
data/templates/default.latex | 2 ++
test/lhs-test.latex+lhs | 2 ++
2 files changed, 4 insertions(+)
diff --git a/data/templates/default.latex b/data/templates/default.latex
index 519effca9..8a37e7e7f 100644
--- a/data/templates/default.latex
+++ b/data/templates/default.latex
@@ -231,6 +231,8 @@ $endif$
$if(listings)$
\usepackage{listings}
\newcommand{\passthrough}[1]{#1}
+\lstset{defaultdialect=[5.3]Lua}
+\lstset{defaultdialect=[x86masm]Assembler}
$endif$
$if(lhs)$
\lstnewenvironment{code}{\lstset{language=Haskell,basicstyle=\small\ttfamily}}{}
diff --git a/test/lhs-test.latex+lhs b/test/lhs-test.latex+lhs
index e959a5e7c..51c49229b 100644
--- a/test/lhs-test.latex+lhs
+++ b/test/lhs-test.latex+lhs
@@ -40,6 +40,8 @@
\urlstyle{same} % don't use monospace font for urls
\usepackage{listings}
\newcommand{\passthrough}[1]{#1}
+\lstset{defaultdialect=[5.3]Lua}
+\lstset{defaultdialect=[x86masm]Assembler}
\lstnewenvironment{code}{\lstset{language=Haskell,basicstyle=\small\ttfamily}}{}
\setlength{\emergencystretch}{3em} % prevent overfull lines
\providecommand{\tightlist}{%