home
/
code
/
tiger.ml.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blame
|
history
|
raw
|
HEAD
Fail successful execution when expected error is defined
[tiger.ml.git]
/
compiler
/
testcases
/
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.064086 seconds
and
4
git commands to generate.