Commit 6050c62b authored by MARCHE Claude's avatar MARCHE Claude

Release notes for version 0.80, including syntax changes

parent c82a4f94
......@@ -196,6 +196,74 @@ We gratefully thank the people who contributed to \why, directly or
indirectly: Romain Bardou, Simon Cruanes, Leon Gondelman, Johannes Kanig,
St\'ephane Lescuyer, Sim\~ao Melo de Sousa, Benjamin Monate, Asma Tafat.
\subsection*{Release Notes for version 0.80: Syntax Changes w.r.t. 0.73}
The syntax of \texttt{mlw} programms changed in release 0.80, with respect to release 0.73. The table of Figure~\ref{fig:syntax080} summaries these changes.
\begin{figure}[t]
\centering
\begin{tabular}{|l|l|}
\hline
version 0.73 & version 0.80 \\
\hline
\begin{minipage}[t]{0.45\textwidth}\ttfamily
use import module M \\
\end{minipage}
&
\begin{minipage}[t]{0.45\textwidth}\ttfamily
use import M \\
\end{minipage}
\\
\hline
\begin{minipage}[t]{0.45\textwidth}\ttfamily
let f (x:int) (y:int) : t = \\
\hspace*{3ex} \{ P \} \\
\hspace*{3ex} e \\
\hspace*{3ex} \{ Q \} \\
\hspace*{3ex} | Exc -> \{ R \} \\
\end{minipage}
&
\begin{minipage}[t]{0.45\textwidth}\ttfamily
let f (x:int) (y:int) : t \\
\hspace*{3ex} requires \{ P \} \\
\hspace*{3ex} ensures \{ Q \} \\
\hspace*{3ex} raises \{ Exc -> R \} \\
\hspace*{3ex} = e \\
\end{minipage}
\\
\hline
\begin{minipage}[t]{0.45\textwidth}\ttfamily
val f (x:int) (y:int) : \\
\hspace*{3ex} \{ P \} \\
\hspace*{3ex} t \\
\hspace*{3ex} writes a b \\
\hspace*{3ex} \{ Q \} \\
\hspace*{3ex} | Exc -> \{ R \} \\
\end{minipage}
&
\begin{minipage}[t]{0.45\textwidth}\ttfamily
val f (x:int) (y:int) : t \\
\hspace*{3ex} requires \{ P \} \\
\hspace*{3ex} writes \{ a, b \} \\
\hspace*{3ex} ensures \{ Q \} \\
\hspace*{3ex} raises \{ Exc -> R \} \\
\end{minipage}
\\
\hline
\begin{minipage}[t]{0.45\textwidth}\ttfamily
abstract e \{ Q \} \\
\end{minipage}
&
\begin{minipage}[t]{0.45\textwidth}\ttfamily
abstract e ensures \{ Q \} \\
\end{minipage}
\\
\hline
\end{tabular}
\caption{Syntax changes from version 0.73 to version 0.80}
\label{fig:syntax080}
\end{figure}
\subsection*{Summary of Changes w.r.t. Why 2}
The main new features with respect to Why 2.xx
......
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