# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1416819987 0
# Node ID 5cdb4d40eb805f6ad84ba8b58af39928bebb9600
# Parent  6719e8d10a0d5b3c9f78f3c7193f4077e6c8cb0d
update

diff -r 6719e8d10a0d -r 5cdb4d40eb80 slides/slides09.pdf
Binary file slides/slides09.pdf has changed
diff -r 6719e8d10a0d -r 5cdb4d40eb80 slides/slides09.tex
--- a/slides/slides09.tex	Mon Nov 24 00:42:04 2014 +0000
+++ b/slides/slides09.tex	Mon Nov 24 09:06:27 2014 +0000
@@ -31,7 +31,7 @@
 \makeatother
 
 
-% beamer stuff 
+% beamer stuff
 \renewcommand{\slidecaption}{AFL 09, King's College London}
 \newcommand{\bl}[1]{\textcolor{blue}{#1}}       
 
@@ -331,7 +331,7 @@
 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none]
 .method public static suc(I)I 
 .limit locals 1
-.limit stack
+.limit stack 3
   iload 0
   ldc 1
   iadd
@@ -364,7 +364,7 @@
 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none]
 .method public static add(II)I 
 .limit locals 2
-.limit stack 4
+.limit stack 6
   iload 0
   ldc 0
   if_icmpne If_else_2
@@ -409,7 +409,7 @@
 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none]
 .method public static facT(II)I 
 .limit locals 2
-.limit stack 4
+.limit stack 6
   iload 0
   ldc 0	
   if_icmpne If_else_2
@@ -454,7 +454,7 @@
 \begin{lstlisting}[language=JVMIS,basicstyle=\ttfamily, numbers=none, escapeinside={(*@}{@*)}]
 .method public static facT(II)I 
 .limit locals 2
-.limit stack 4
+.limit stack 7
 (*@\hl{facT\_Start:} @*)
   iload 0
   ldc 0