blob: d3eeeacc301dd44eaea55464b6a558bbd88b5112 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
/* This is legal. The second function "g" simply hides the first one.
Because of the intervening variable declaration, the two "g" functions
are not in the same batch of mutually recursive functions.
See also test39 */
let
function g(a : int) : int = a
type t = int
function g(a : int) : int = a
in
0
end
|
