BONNEVALLE Vincent pushed to branch unification at Stefan / Typer

Commits: 2ca60f54 by n3f4s at 2016-10-07T10:33:30+02:00 better formatting of expression in report

- - - - -

1 changed file:

- doc/rapport/infer.tex

Changes:

===================================== doc/rapport/infer.tex ===================================== --- a/doc/rapport/infer.tex +++ b/doc/rapport/infer.tex @@ -115,14 +115,14 @@ pas pour l'inférence de type requise par \typer{}.

Par exemple, si on essaie d'unifier - \begin{verbatim} - x + let x = 5 in x * y - \end{verbatim} + \begin{equation} + \verb!x + let x = 5 in x * y! \label{eq:first} + \end{equation} avec - \begin{verbatim} - A + let x = B in A * C - \end{verbatim} - l'unification renverra un résultat correct avec $A = x$. Cependant, le premier $x$ et le second $x$ de la première expression + \begin{equation} + \verb!A + let x = B in A * C! \label{eq:sec} + \end{equation} + l'unification renverra un résultat correct avec $A = x$. Cependant, le premier $x$ et le second $x$ de la première expression (~\autoref{eq:first}~) ne correspondent pas à la même variable. L'unification devrait donc renvoyer une erreur.

\subsection{Unification des \hop{}}

View it on GitLab: https://gitlab.com/monnier/typer/commit/2ca60f5465175335cbf32c8f5f285ab53de0...