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

typo on the name of the function example14

parent f6d6a371
......@@ -282,7 +282,7 @@ 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}
let example14_alt = fun (input : Int | String) ->
let example14_orig = fun (input : Int | String) ->
fun (extra : (Any, Any)) ->
if (input, is_int (fst extra)) is (Int, True) then
add input (fst extra)
......
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