1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
\documentclass{report}
\usepackage[svgnames]{xcolor}
\usepackage{fullpage}
\usepackage{listings}
\usepackage{hyperref}
\hypersetup{colorlinks=true,linkcolor=DarkRed}
\lstset{
basicstyle=\ttfamily\small,
columns=fullflexible,
breaklines=true,
postbreak=\mbox{\textcolor{red}{$\hookrightarrow$}\space},
}
\lstdefinelanguage{sail}
{ morekeywords={val,function,cast,type,forall,overload,operator,enum,union,undefined,exit,and,assert,sizeof,
scattered,register,inc,dec,if,then,else,effect,let,as,@,in,end,Type,Int,Order,match,clause,struct},
keywordstyle={\bf\ttfamily\color{blue}},
morestring=[b]",
stringstyle={\ttfamily\color{red}},
morecomment=[l][\itshape\color{DarkGreen}]{//},
morecomment=[s][\itshape\color{DarkGreen}]{/*}{*/},
deletestring=[bd]{'},
escapechar=\#,
emphstyle={\it},
literate=
{\{|}{{$\{|$}}1
{|\}}{{$|\}$}}1
}
\lstset{language=sail}
\def\sail{\trivlist \item\relax}
\def\endsail{\endtrivlist}
\begin{document}
\include{out}
\end{document}
|
