future work slide

diff --git a/deliverables/p4/p4.tex b/deliverables/p4/p4.tex
index 36fdaf1..ed5632c 100644 (file)
--- a/deliverables/p4/p4.tex
+++ b/deliverables/p4/p4.tex
@@ -198,6 +198,23 @@ print(x);
        \end{block}
 \end{frame}
 
+\begin{frame}[fragile]
+       \frametitle{Improvements and Future Work}
+       \begin{block}{Improve type checker}
+               Type checker allows some programs which should not be allowed\\  
+               e.g. the polymorphic value examples of Markus.
+       \end{block}
+       \pause
+       \begin{block}{Improve overloaded equality}
+               Equality only preforms shallow (JAVA-style) equality on Lists and Tuple
+               types.
+       \end{block}
+       \pause
+       \begin{block}{Improve error reporting}
+               Not all errors are reported with the position the error occurs in. Most
+               notably type errors always occur on position (0,0).
+       \end{block}
+\end{frame}
 
 
 \end{document}