summaryrefslogtreecommitdiff
path: root/tiger-compiler/tests/type/unconstrained-nil.tig
blob: eb0de8d494a6b020b7b00ee5e5916feecf47e12d (plain)
1
2
3
4
5
/* error : initializing nil expressions not constrained by record type */
let var a := nil
in
  0
end