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

added sentence "whereas ..."

parent 90bd343a
...@@ -269,14 +269,18 @@ is absent for sure). ...@@ -269,14 +269,18 @@ is absent for sure).
In Table~\ref{tab:implem2}, we reproduce in our syntax the 14 In Table~\ref{tab:implem2}, we reproduce in our syntax the 14
archetypal examples of archetypal examples of
\citet{THF10} (we tried to complete such examples with neutral code when they \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,
depict combinations of type predicates (such as \texttt{is\_int}) used either Example~1 to 13 depict combinations of type predicates (such
directly or through Boolean predicates (such as the \texttt{or\_} function as \texttt{is\_int}) used either directly or through Boolean
previously defined). Note that for all examples for which there was no explicit predicates (such as the \texttt{or\_} function previously
indication in the original version, we \emph{infer} the type of the function. defined). Note that for all examples for which there was no explicit
Notice also that for Example~6, the goal of the example is to show that indeed, indication in the original version, we \emph{infer} the type of the
the function is ill-typed (which our typechecker detects accurately). The function whereas in~\cite{THF10} the same examples are always in a
original Example~14 could be written in our syntax as: context where the type of identifiers is known or the input type of
function is fully annotated. Notice also that for Example~6, the goal
of the example is to show that indeed, the function is ill-typed
(which our typechecker detects accurately). The original Example~14
could be written in our syntax as:
\begin{alltt}\color{darkblue} \begin{alltt}\color{darkblue}
let example14_alt = fun (input : Int | String) -> let example14_alt = fun (input : Int | String) ->
fun (extra : (Any, Any)) -> fun (extra : (Any, Any)) ->
......
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