/tiger-compiler/tests/type/
../
assign-loop-var.tig
bad-main-args.tig
bad-main-return.tig
box.tig
compare_to_break.tig
field-in-not-record.tig
field-twice-in-declaration.tig
field-twice-in-instantiation.tig
funarg-type-mismatch.tig
lower_than_array.tig
lower_than_nil.tig
lower_than_record.tig
missing-arg.tig
nil-equals-nil.tig
nil-string.tig
test09.tig
test10.tig
test11.tig
test13.tig
test14.tig
test15.tig
test21.tig
test22.tig
test23.tig
test24.tig
test26.tig
test28.tig
test29.tig
test31.tig
test32.tig
test40.tig
test43.tig
too-many-args.tig
types-endless-recursion.tig
unconstrained-nil.tig
wrong-print-invalid-type.tig
wrong-print-too-many-args.tig