Commit f584c9b5 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

less space

parent 6b6e6629
\lstset{language=[Objective]Caml,columns=fixed,basicstyle=\linespread{0.55}\ttfamily\scriptsize,aboveskip=-0.5em,belowskip=-1em,xleftmargin=-0.5em}
\lstset{language=[Objective]Caml,columns=fixed,basicstyle=\linespread{0.43}\ttfamily\scriptsize,aboveskip=-0.5em,belowskip=-1em,xleftmargin=-0.5em}
\begin{table}
{\scriptsize
\begin{tabular}{|@{\,}c@{\,}|p{0.48\textwidth}@{}|@{\,}p{0.48\textwidth}@{\,}|}
\begin{tabular}{|@{\,}c@{\,}|p{0.482\textwidth}@{}|@{\,}p{0.482\textwidth}@{\,}|}
\hline
& Code & Inferred type\\
\hline
......@@ -111,8 +111,7 @@ let test_3 = f nil nil
\begin{lstlisting}
type Document = { nodeType=9 ..}
and Element = { nodeType=1,
childNodes = NodeList
.. }
childNodes = NodeList .. }
and Text = { nodeType=3,
isElementContentWhiteSpace=Bool
.. }
......@@ -125,10 +124,10 @@ let is_empty_node = fun (x : Node) ->
x.isElementContentWhiteSpace
else
if x.childNodes is Nil then true else false
\end{lstlisting} &\vspace{23mm}
\end{lstlisting} &\vspace{19mm}
$(\Keyw{Document}\to\False)~\land$\newline
$(\orecord{ \texttt{nodeType}\,{=}\,1, \texttt{childNodes}\,{=}\,\Keyw{Nil} }\to\True) ~\land$\newline
$(\orecord{ \texttt{nodeType}\,{=}\,1, \texttt{childNodes}\,{=}\,(\Keyw{Node},\Keyw{NodeList}) }\,{\to}\,\False) ~\land$\newline
$(\orecord{ \texttt{nodeType}\,{=}\,1, \texttt{childNodes}\,{=}\,(\Keyw{Node},\Keyw{NodeList}) }\to\False) ~\land$\newline
$(\Keyw{Text}\to\Bool)~\land$\newline (omitted redundant arrows)
\\\hline
9 & \begin{lstlisting}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment