Typing error: probably variable shadowing

[ThatDaleMiller]

The following code type checks correctly in OCaml but not in MLTS. This error seems to be a problem with shadowing variable bindings. This example is based on a problem with other code from Ki Yung Ahn.

type aa = 
        | A 
        | B;;

type bb = 
    | C 
    | F of aa;;

let f x = match x with
  | C -> A
  | F x -> B
  ;;
  
let g x = match x with
  | C -> A
  | F x -> begin 
           let gg y = match A with
             | x -> x
             in gg x
             end
  ;;

[voodoos]

I found the bug : the parser / translator doesn't deal properly with locally defined non-recursive functions. The following program works as intended :

type aa = 
        | A 
        | B;;

type bb = 
    | C 
    | F of aa;;

let f x = match x with
  | C -> A
  | F x -> B
  ;;
  
let g x = match x with
  | C -> A
  | F x -> begin 
           let rec gg y = match A with
             | x -> x
             in gg x
             end
  ;;

[ThatDaleMiller]

Good news. I guess this means the fix is near-at-hand.