summaryrefslogtreecommitdiff
path: root/testsuite/tests/letrec-check/pr7706.ml
blob: 87403cd5a286a05c117aa87c9efcf1e732c667c1 (plain)
1
2
3
4
5
6
7
8
(* TEST
   * toplevel
*)
let rec x =
  let y = if false then (fun z -> 1) else (fun z -> x 4 + 1) in
  y;;

let () = ignore (x 42);;