Commit | Line | Data |
---|---|---|
38ffcb1f SK |
1 | /* This is legal. The second type "a" simply hides the first one. |
2 | Because of the intervening variable declaration, the two "a" types | |
3 | are not in the same batch of mutually recursive types. | |
4 | See also test38 */ | |
5 | let | |
6 | type a = int | |
7 | var b := 4 | |
8 | type a = string | |
9 | in | |
10 | 0 | |
11 | end |