Fail successful execution when expected error is defined
[tiger.ml.git] / compiler / testcases / test47.tig
CommitLineData
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 */
5let
6 type a = int
7 var b := 4
8 type a = string
9in
10 0
11end
This page took 0.024724 seconds and 4 git commands to generate.