testsuite/tests/typing-misc/is_expansive.ml


1
2
3
4
5
6
7
8
9
10
11
12
13

(* TEST
 expect;
*)

match [] with x -> (fun x -> x);;
[%%expect{|
- : 'a -> 'a = <fun>
|}];;

match [] with x -> (fun x -> x) | _ -> .;;
[%%expect{|
- : 'a -> 'a = <fun>
|}];;