Commit 2ebaffc5 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Update documentation about syntax changes.

parent 76e77ef2
......@@ -282,20 +282,31 @@ egalite sur les type algebriques ? engendrees automatiquement ?
\subsection{Syntax Changes}
\begin{center}
\begin{tabular}{|c|c|}
\begin{tabular}{|p{0.45\textwidth}|p{0.45\textwidth}|}
\hline
0.87 & 0.90 \\
\textbf{version 0.87} & \textbf{version 0.90} \\
\hline
\texttt{'L:} & \texttt{label L in} \\
\hline
\texttt{at x 'L} & \texttt{x at L} \\
\texttt{assert \{ ... (old x) ... \}} & \texttt{ assert \{... (x at Init) .. \}} \\
\verb|\|\texttt{ x. e} & \texttt{fun x -> e} \\
\hline
\texttt{assert \{ ... (old x) ... \}} & \texttt{assert \{ ... (x at Init) ... \}} \\
\hline
\texttt{\char`\\ x{.} e} & \texttt{fun x -> e} \\
\hline
\texttt{use HighOrd} & nothing, not needed anymore \\
\hline
\texttt{HighOrd.pred ty} & \texttt{ty -> bool} \\
\texttt{type t model ...} & \texttt{type t = abstract ... } \\
\hline
\texttt{type t model ...} & \texttt{type t = abstract ...} \\
\hline
\texttt{abstract e ensures \{ Q \}} & \texttt{begin ensures \{ Q \} e end} \\
\hline
\end{tabular}
\texttt{namespace N} & \texttt{scope N} \\
\hline
\texttt{"attribute"} & \texttt{[@attribute]} \\
\hline
\end{tabular}
\end{center}
\subsection{Model types, abstract types}
......
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