From d06fccf36b63da21ba47213346331b51d8d5723b Mon Sep 17 00:00:00 2001
From: Benjamin Loison <benjamin.loison@orange.fr>
Date: Fri, 16 Dec 2022 16:02:03 +0100
Subject: [PATCH] Add second slide concerning AST to C

---
 beamer/beamer.tex | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/beamer/beamer.tex b/beamer/beamer.tex
index 701ec3a..d8745d5 100644
--- a/beamer/beamer.tex
+++ b/beamer/beamer.tex
@@ -142,6 +142,28 @@
 		\end{enumerate}
 \end{frame}
 
+\begin{frame}
+	\begin{itemize}
+		\item
+			\begin{itemize}
+				\item \texttt{pp\_varlist (Base | Arg | Dec)}
+				\item \texttt{pp\_retvarlist}
+				\item \texttt{pp\_prevarlist}
+				\item \texttt{pp\_asnprevarlist}
+			\end{itemize}
+		\pause
+		\item \texttt{when} implementation error: division by zero for instance
+		\pause
+		\item \texttt{->}
+		\pause
+		\item \texttt{pre}
+		\pause
+		\item \texttt{reset}
+		\pause
+		\item Functions returning tuples thanks to Arnaud's linearization only have to deal with \texttt{(a0, a1, ..., an) = return\_tuple\_a0\_a1\_dots\_an(0)}
+	\end{itemize}
+\end{frame}
+
 \section{Tests}
 \begin{frame}{Tests}
     \begin{block}{testing methods}