- \frametitle{But wait, there is more!}
- \framesubtitle{Trouble that is}
+ \frametitle{It is not all trouble}
+ \begin{block}{A lot of functionality works correctly}
+ \begin{itemize}
+ \item Typing of \CI{VarDecls}
+ \pause
+ \item Typing of type chains:
+ \begin{CleanCode}
+id_poly_wtf(x) :: a -> a
+{
+ var a = x;
+ var b = a;
+ var c = b;
+ return c;
+}
+ \end{CleanCode}
+ \end{itemize}
+ \end{block}
+\end{frame}
+
+\begin{frame}[fragile]
+ \frametitle{It is not all trouble}
+ \begin{block}{A lot of functionality works correctly}
+ \begin{itemize}
+ \item Typing of \CI{VarDecls}
+ \item Typing of type chains:
+ \begin{CleanCode}
+id_poly_wtf(x) :: a -> a
+{
+ a a = x;
+ a b = a;
+ a c = b;
+ return c;
+}
+ \end{CleanCode}
+ \pause
+ \item Typing \CI{var l = 1:2:[];} succeeds \\
+ while. \CI{var l = []; var x = True:l; var y = 1:l;} fails
+ \end{itemize}
+ \end{block}
+\end{frame}
+
+\begin{frame}[fragile]
+ \frametitle{Why is there so much trouble?}