blob: f912b2b3e1f98353998b13cebd33250cbe3f7ce7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
/* This is legal. The second type "a" simply hides the first one.
Because of the intervening variable declaration, the two "a" types
are not in the same batch of mutually recursive types.
See also shadowing-types-consecutive. */
let
type a = int
var b := 4
type a = string
in
0
end
|
