Dear ocaml-list,<div>the following code does not type check:</div><div><br></div><div><div>type foo = {bar : &#39;a. &#39;a -&gt; &#39;a}</div><div>let a : int -&gt; int = fun x -&gt; x</div><div>let baz = {bar = Obj.magic a}</div>
<div><br></div><div>with the error</div><div><br></div><div><div>Error: This field value has type &#39;a -&gt; &#39;a which is less general than</div><div>         &#39;b. &#39;b -&gt; &#39;b</div><div><br></div><div><br>
</div><div>my question is: how could I use obj.magic to get a polymorphic type?</div><div><br></div><div><br></div><div>Jacques</div></div></div>