Commit aaa331b3 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

.

parent 2a714664
......@@ -135,15 +135,13 @@ $(\lnot\True\to((\True\to\True) \land (\lnot\True\to\False))$
\\\hline
10 & \begin{lstlisting}
(* f and g have type:
(Int -> Int) & (Any ->Bool) *)
(* f, g have type: (Int->Int) & (Any->Bool) *)
let example10 =
fun (x : Any) ->
let example10 = fun (x : Any) ->
if (f x, g x) is (Int, Bool) then 1 else 2
\end{lstlisting} &\vfill
$(\Int\to\Empty)\land(\Any\setminus\Int\to{}2)$\newline
\texttt{Warning: line 4, charcater 39-40: expression is unreachable}
\texttt{Warning: line 4, 39-40: unreachable expression}
\\\hline
\end{tabular}
}
......
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