tiger-compiler/tests/type/funarg-type-mismatch.tig


1
2
3
4
5
6

/* error : formals and actuals have different types */
let
        function g(a : int , b : string) : int = a
in
        g("one", "two")
end