Followup question:<br>
Given I have:<br>
type foo = [`A | `B of int | `C of char]<br>
type bar = [`B of int | `C&nbsp; of char| `D]<br>
<br>
and a function<br>
let f (x : foo) : bar =<br>
match x with<br>
&nbsp;&nbsp;&nbsp; `A -&gt; `D<br>
&nbsp;&nbsp; |`B _<br>
&nbsp;&nbsp; |`C _ -&gt; (x : bar)<br>
<br>
Is there any way to properly coerce this using the restricted variant
information of x? Or do I have to duplicate code and reconstruct x?<br>
<br>-- <br>Seth Fogarty&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; sfogarty@[gmail.com|rice.edu|livejournal]<br>Neep-neep at large&nbsp;&nbsp;&nbsp;&nbsp;AIM: Sorrath<br>&quot;I know there are people in this world who do not love their fellow<br>human beings - and I hate people like that&quot; --Tom Lehrer.