home
/
code
/
tiger.ml.git
/ blame
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blob
|
blame
(incremental) |
history
|
HEAD
Fail successful execution when expected error is defined
[tiger.ml.git]
/
compiler
/
testcases
/
test28.tig
Commit
Line
Data
38ffcb1f
SK
1
/* error : different record types */
2
3
let
4
type rectype1 = {name:string , id:int}
5
type rectype2 = {name:string , id:int}
6
7
var rec1: rectype1 := rectype2 {name="Name", id=0}
8
in
9
rec1
10
end
This page took
0.024158 seconds
and
4
git commands to generate.