Tiens compte des remarques

This commit is contained in:
Olivier 2020-08-20 11:37:24 +02:00
parent 3f673ac985
commit 4a867d80c8
1 changed files with 8 additions and 15 deletions

View File

@ -197,23 +197,16 @@ val old_exist : (Infer.variable -> 'c co) -> (/*\alert{F.ty}*/ * 'c) co
val new_exist : (Infer.variable * /*\alert{F.ty co}*/ -> 'c co) -> 'c co val new_exist : (Infer.variable * /*\alert{F.ty co}*/ -> 'c co) -> 'c co
\end{lstlisting} \end{lstlisting}
% [Gabriel]: if we had introduced let@ and let+ at this point, we \pause\vfill
% could show short before/after examples:
% Before: For \lstinline{with_input}:
% let+ (output1, (output2, r)) = \begin{lstlisting}
% let@ input1 = quantifier1 in val old_with_input : path ->
% let@ input2 = quantifier2 in (in_channel -> 'c cloud) -> (cost * 'c cloud)
% ... val new_with_input : path ->
% in <result> (in_channel * cost cloud -> 'c cloud) -> 'c cloud
\end{lstlisting}
% After:
% let@ input1, output1 = quantifier1 in
% let@ input2, output2 = quantifier2 in
% ...
% let+ output1 = output1
% and+ output2 = output2
% in <result>
\end{frame} \end{frame}
\begin{frame}[fragile]{New API} \begin{frame}[fragile]{New API}