home
/
code
/
tiger.ml.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
163eba34e84e71caa6fdf021ad57a80b7e4381b2
[tiger.ml.git]
/
test47.tig
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
This page took
0.069679 seconds
and
3
git commands to generate.