From 1014b718c230117e45a2764c1452008283ace717 Mon Sep 17 00:00:00 2001
From: pimjager <pim@pimjager.nl>
Date: Tue, 31 May 2016 23:49:47 +0200
Subject: [PATCH] future work slide

---
 deliverables/p4/p4.tex | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

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}
-- 
2.20.1