<div dir="ltr">As I wrote that I came to the same conclusion, but decided to leave the rest in case.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Nov 26, 2015 at 12:25 AM, GHC <span dir="ltr"><<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">#11028: Refactor ConDecl<br>
-------------------------------------+-------------------------------------<br>
        Reporter:  simonpj           |                Owner:  alanz<br>
            Type:  bug               |               Status:  new<br>
        Priority:  normal            |            Milestone:<br>
       Component:  Compiler          |              Version:  7.10.2<br>
      Resolution:                    |             Keywords:<br>
Operating System:  Unknown/Multiple  |         Architecture:<br>
                                     |  Unknown/Multiple<br>
 Type of failure:  None/Unknown      |            Test Case:<br>
      Blocked By:                    |             Blocking:<br>
 Related Tickets:                    |  Differential Rev(s):<br>
       Wiki Page:                    |<br>
-------------------------------------+-------------------------------------<br>
<br>
</span>Comment (by simonpj):<br>
<span class=""><br>
 >  Alternatively, everything except the `rnLHsType` in `rnConResult` can<br>
 move to the type checking.<br>
<br>
</span> That sounds exactly right.  `Note [Sorting out the result type]` in<br>
 `RdrHsSyn` seems entirely redundant with the new `ConDeclGADT` form.<br>
<br>
--<br>
Ticket URL: <<a href="http://ghc.haskell.org/trac/ghc/ticket/11028#comment:25" rel="noreferrer" target="_blank">http://ghc.haskell.org/trac/ghc/ticket/11028#comment:25</a>><br>
<div class="HOEnZb"><div class="h5">GHC <<a href="http://www.haskell.org/ghc/" rel="noreferrer" target="_blank">http://www.haskell.org/ghc/</a>><br>
The Glasgow Haskell Compiler<br>
</div></div></blockquote></div><br></div>