Original bug ID: 7190
Reporter: @johnwhitington
Assigned to: @alainfrisch
Status: closed (set by @xavierleroy on 2017-09-24T15:32:06Z)
Resolution: fixed
Priority: normal
Severity: minor
Target version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: ~DO NOT USE (was: OCaml general)

Bug description

(OCaml 4.03 beta 1)

Consider the following user mistake:

type t = Foo of {x : int; y : int};;

type t = Foo of { x : int; y : int; }

Foo (1, 2);;

Error: This form is not allowed as the type of the inlined record could escape.

Would it be possible to improve this to say that (1, 2) has type "int * int" but t.Foo has type "{x : int; y : int}"? The current message doesn't give any hint to help the user fix the mistake.