Fail polymorphism recursive function test cases (test31, test33)

[SeungUkLee]

Test31

• code

let rec f = fn x =>
  f (malloc x); f (write "1"); x
in
  ((f 1) = (f f 1), f f "1")
end

• test result

Expected: (bool , string)
Actual: Type Checking Failed

Test33

• code

let rec f = fn x =>
  (f x) = (f x); malloc (f x); write (f x); x
in
  let val x = "const" in f f x end
end

• test result

Expected: string
Actual: Type Checking Failed