Commit 92917429 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

typos

parent bd9c14d6
...@@ -141,7 +141,7 @@ let example14_alt = fun (input : Int | String) -> ...@@ -141,7 +141,7 @@ let example14_alt = fun (input : Int | String) ->
\\\hline \\\hline
\end{tabular} \end{tabular}
} }
\caption{Comparison with the 14 examples of \cite{THF10}} \caption{Comparison with the 14 examples of \citet{THF10}}
\ifsubmission% \ifsubmission%
\svvspace{-10mm} \svvspace{-10mm}
\fi% \fi%
......
...@@ -53,7 +53,7 @@ in the ``else'' case. The function is thus type-checked twice more ...@@ -53,7 +53,7 @@ in the ``else'' case. The function is thus type-checked twice more
under each hypothesis for \texttt{x}, yielding the precise type under each hypothesis for \texttt{x}, yielding the precise type
$(\Int\to\Int)\land(\Bool\to\Bool)$. Note that w.r.t.\ $(\Int\to\Int)\land(\Bool\to\Bool)$. Note that w.r.t.\
rule \Rule{AbsInf+} of Section~\ref{sec:refining}, the rule \Rule{AbsInf+} of Section~\ref{sec:refining}, the
rule \Rule{AbsInf++} we use int the implementation improved the output of the computed rule \Rule{AbsInf++} we use in the implementation improves the output of the computed
type. Indeed, using rule~[{\sc AbsInf}+] we would have obtained the type. Indeed, using rule~[{\sc AbsInf}+] we would have obtained the
type type
$(\Int\to\Int)\land(\Bool\to\Bool)\land(\Bool\vee\Int\to\Bool\vee\Int)$ $(\Int\to\Int)\land(\Bool\to\Bool)\land(\Bool\vee\Int\to\Bool\vee\Int)$
...@@ -187,7 +187,7 @@ This is precisely reflected by the case $\Int\to\Empty$ in the result. ...@@ -187,7 +187,7 @@ This is precisely reflected by the case $\Int\to\Empty$ in the result.
Indeed our {\tt example10} function can be applied to an integer, but Indeed our {\tt example10} function can be applied to an integer, but
at runtime the application of {\tt f\,x} will diverge. at runtime the application of {\tt f\,x} will diverge.
Code~11 simulates the behaviour of Javascript property resolution, by looking Code~11 simulates the behaviour of JavaScript property resolution, by looking
for a property \texttt{l} either in the object \texttt{o} itself or in the for a property \texttt{l} either in the object \texttt{o} itself or in the
chained list of its \texttt{prototype} objects. In that example, we first model chained list of its \texttt{prototype} objects. In that example, we first model
prototype chaining by defining a type \texttt{Object} that can be either the prototype chaining by defining a type \texttt{Object} that can be either the
...@@ -209,8 +209,9 @@ in a record type such as $\orecord{ l=?\Empty }$, indicate that field \texttt{l} ...@@ -209,8 +209,9 @@ in a record type such as $\orecord{ l=?\Empty }$, indicate that field \texttt{l}
is absent for sure). is absent for sure).
\input{code_table2} \input{code_table2}
In Table~\ref{tab:implem2}, we convert in our syntax the 14 examples of In Table~\ref{tab:implem2}, we reproduce in our syntax the 14
\cite{THF10} (we tried to complete such examples with neutral code when they archetypal examples of
\citet{THF10} (we tried to complete such examples with neutral code when they
were incomplete in the original paper). Of these 14 examples, Example~1 to 13 were incomplete in the original paper). Of these 14 examples, Example~1 to 13
depict combinations of type predicates (such as \texttt{is\_int}) used either depict combinations of type predicates (such as \texttt{is\_int}) used either
directly or through Boolean predicates (such as the \texttt{or\_} function directly or through Boolean predicates (such as the \texttt{or\_} function
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment