From: pimjager <pim@pimjager.nl>
Date: Tue, 31 May 2016 21:49:47 +0000 (+0200)
Subject: future work slide
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=1014b718c230117e45a2764c1452008283ace717;p=cc1516.git

future work slide
---

diff --git a/deliverables/p4/p4.tex b/deliverables/p4/p4.tex
index 36fdaf1..ed5632c 100644
--- 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}