Original bug ID: 7231
Reporter: @yallop
Assigned to: @yallop
Status: resolved (set by @yallop on 2017-09-25T14:11:51Z)
Resolution: fixed
Priority: normal
Severity: crash
Target version: 4.06.0 +dev/beta1/beta2/rc1
Category: typing
Related to: #6738 #7215 #7447
Monitored by: runhang @stedolan @gasche

Bug description

$ ocaml
OCaml version 4.03.0+beta2

let rec r = let rec x () = r and y () = x () in y () in r "oops";;

Characters 58-64:
let rec r = let rec x () = r and y () = x () in y () in r "oops";;
^^^^^^
Warning 20: this argument will not be used by the function.
Segmentation fault

This should be fixed by the fix for PR6738 (and PR7215), which is now almost complete.