<br><div class="gmail_quote">On Tue, Sep 28, 2010 at 4:29 PM, Florent Balestrieri <span dir="ltr"><<a href="mailto:fyb@cs.nott.ac.uk">fyb@cs.nott.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi,<br>
I noticed that the positivity check is more lenient with record than data definitions. I'd like to understand why, maybe someone could suggest an article where this is explained?<br></blockquote><div><br></div><div>More than likely this is an oversight rather than intentional. Can you give an example where this is the case?</div>
<div><br></div><div>/ Ulf </div></div>