blob: 3f6b410993f51259808e6cfb4eb272176dea3249 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
(* TEST
include testing
ocamlopt_flags ="-inline 20"
*)
(* PR6216: wrong inlining of GADT match *)
type _ t =
| Float : float t
| String : string t
let f : type a . a t -> a -> unit = fun t a ->
match t with
| Float -> ()
| String -> ignore (String.length a : int)
let _g (kind : float t) (x : float) : unit = f kind (x *. 13.)
|