<div dir="ltr">i'm looking at the record type <div><pre style="border:1px solid rgb(215,215,215);border-top-left-radius:0.3em;border-top-right-radius:0.3em;border-bottom-right-radius:0.3em;border-bottom-left-radius:0.3em;margin-right:1.75em;margin-left:1.75em;padding:0.25em;overflow:auto;color:rgb(0,0,0);font-size:13px;background-color:rgb(247,247,247)">data TcPlugin = forall t . TcPlugin
  { init  :: TcM t
  , solve :: t -> [Ct] -> [Ct] -> TcS ([SolveResult], [Ct])
  , close :: t -> TcM ()
  }</pre></div><div class="gmail_extra">it might be helpful to add a remark that </div><div class="gmail_extra">data Ct = ... <br></div><div class="gmail_extra">is defined in compiler/typechecker/TcRnTypes.lhs so folks who aren't already intimately familiar with the constraint solver machinery in GHC can get some wee hints about where to start digging around if they wanted to understand the implications of the proposal :) </div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Sep 12, 2014 at 12:41 PM, Adam Gundry <span dir="ltr"><<a href="mailto:adam@well-typed.com" target="_blank">adam@well-typed.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Hi folks,<br>
<br>
Those of you at HIW last week might have been subjected to my lightning<br>
talk on plugins for the GHC type checker, which should allow us to<br>
properly implement nifty features like units of measure or type-level<br>
numbers without recompiling GHC. I've written up a wiki page summarising<br>
the idea:<br>
<br>
<a href="https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker" target="_blank">https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker</a><br>
<br>
Feedback is very welcome, particularly if (a) you have an interesting<br>
use for this feature or (b) you think this is a terrible idea!<br>
<br>
Thanks,<br>
<br>
Adam<br>
<span><font color="#888888"><br>
<br>
--<br>
Adam Gundry, Haskell Consultant<br>
Well-Typed LLP, <a href="http://www.well-typed.com/" target="_blank">http://www.well-typed.com/</a><br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org" target="_blank">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
</font></span></blockquote></div><br></div></div>