<html>
  <head>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <p>Also don't forget that the cycle problem is temporary¬† - as
      discussed in that thread, the fix here is to actually get rid of
      erasure (which is something we did already in an experimental
      patch in Valhalla) which then removes the ordering problems with
      supertypes/subtypes. We plan to do further experiments with this
      in the Valhalla repo and move this code to 10 when ready.</p>
    <p>Maurizio<br>
    </p>
    <br>
    <div class="moz-cite-prefix">On 02/12/16 02:18, Liam Miller-Cushon
      wrote:<br>
    </div>
    <blockquote
cite="mid:CAL4QsguesO3eYs1m2B6dRTt_Q90P+hN+DFLO1LWnwLUwEoO96Q@mail.gmail.com"
      type="cite">
      <div dir="ltr">
        <div class="gmail_extra">
          <div class="gmail_quote">On Thu, Dec 1, 2016 at 6:06 PM,
            Jonathan Gibbons <span dir="ltr"><<a
                moz-do-not-send="true"
                href="mailto:jonathan.gibbons@oracle.com"
                target="_blank">jonathan.gibbons@oracle.com</a>></span>
            wrote:<br>
            <blockquote class="gmail_quote" style="margin:0px 0px 0px
              0.8ex;border-left:1px solid
              rgb(204,204,204);padding-left:1ex">
              <div id="gmail-:wn" class="gmail-a3s gmail-aXjCH
                gmail-m158bd489f3a3b345">Does this address the potential
                problem with cycles that you mentioned in<br>
                the original email?</div>
            </blockquote>
          </div>
          <br>
          Not fully. It improves the current behaviour by ensuring files
          always go through attr and flow as a unit, but classes may
          still be desugared separately from their compilation unit.</div>
        <div class="gmail_extra"><br>
        </div>
        <div class="gmail_extra">One of the test cases has compilation
          units [One, Two] and [Three, Four], where Two extends Four,
          and Three extends One. There's no way to linearize that so
          supertypes are desugared first and files are desugared as a
          unit.</div>
        <div class="gmail_extra"><br>
        </div>
        <div class="gmail_extra">Are there still plans to remove<span
            style="color:rgb(0,0,0)"> the ordering constraint in
            TransTypes?</span></div>
      </div>
    </blockquote>
    <br>
  </body>
</html>