<div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Dear all,</div><div><br></div><div>The function mkWWcpr_help, which creates a wrapper and a worker after strictness analysis, has a special case when there is a single result of unlifted type:</div><div><br></div><div>Wrapper:     case (..call worker..) of x -> C x<br>Worker:      case (   ..body..    ) of C x -> x<br></div><div><br></div><div>But I don't understand how it is different from using (# #) as would result from the general case:</div><div><br></div><div> Wrapper:     case (..call worker..) of (# x #) -> C x<br>Worker:      case (   ..body..    ) of C x -> (# x #)</div><div><br></div><div>That is, my understanding of the latter is that it would yield the exact same code. I'm obviously missing something, I'd love to know what.</div><div><br></div><div>Best,</div><div>Arnaud<br></div></div></div></div>