Commit 2ec7b08d authored by POTTIER Francois's avatar POTTIER Francois

Spacing.

parent 23905c89
...@@ -1504,6 +1504,7 @@ Definitions of \emph{parameterized types} are supported. However, only ...@@ -1504,6 +1504,7 @@ Definitions of \emph{parameterized types} are supported. However, only
\emph{regular} parameterized types are supported. A parameterized type is \emph{regular} parameterized types are supported. A parameterized type is
regular if, within its own definition, it is applied only to its formal regular if, within its own definition, it is applied only to its formal
parameters. For instance, the well-known definition of lists is regular: parameters. For instance, the well-known definition of lists is regular:
\begin{origenv} \begin{origenv}
\begin{lstlisting} \begin{lstlisting}
type 'a list = type 'a list =
...@@ -1511,8 +1512,10 @@ type 'a list = ...@@ -1511,8 +1512,10 @@ type 'a list =
| (::) of 'a * 'a list | (::) of 'a * 'a list
\end{lstlisting} \end{lstlisting}
\end{origenv} \end{origenv}
whereas the following definition of a random access whereas the following definition of a random access
list~\cite[\S10.1.2]{okasaki-book-99} is not: list~\cite[\S10.1.2]{okasaki-book-99} is not:
\begin{origenv} \begin{origenv}
\begin{lstlisting} \begin{lstlisting}
type 'a seq = type 'a seq =
...@@ -1521,6 +1524,7 @@ type 'a seq = ...@@ -1521,6 +1524,7 @@ type 'a seq =
| One of 'a * ('a * 'a) seq | One of 'a * ('a * 'a) seq
\end{lstlisting} \end{lstlisting}
\end{origenv} \end{origenv}
Irregular data types are also known as Irregular data types are also known as
``nonuniform''~\cite[\S10.1]{okasaki-book-99} or ``nested'' data ``nonuniform''~\cite[\S10.1]{okasaki-book-99} or ``nested'' data
types~\cite{bird-meertens-98}. types~\cite{bird-meertens-98}.
......
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