tiger-compiler/tests/bind/invalid-function-redefinition-1.tig


1
2
3
4
5
6
7
8
9
10
11

/* public. */

/* This is invalid, since there are two functions with the same name
    in the same (consecutive) batch of mutually recursive functions.
   See also test48 */
let
  function g(a : int) : int = a
  function g(a : int) : int = a
in
  0
end