<div dir="ltr"><div>I just pushed to wip/T11028<br><br></div>It is very much a work in progress, working through to sort out the compiler errors, in the simplest way at the moment.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Nov 25, 2015 at 3:06 PM, 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>
<br>
 Yes, because of the possibility of `HsRecTy`, you can't use `tcHsSigType`.<br>
 So something like what you propose looks good.<br>
<br>
 Ca you make a branch and push what you have so that I can see?<br>
<br>
--<br>
Ticket URL: <<a href="http://ghc.haskell.org/trac/ghc/ticket/11028#comment:19" rel="noreferrer" target="_blank">http://ghc.haskell.org/trac/ghc/ticket/11028#comment:19</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>