<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>