<div dir="ltr">Hi Adam,<div><br></div><div>I am back from vacation, and I think I should have some time to try to implement something along these lines. </div><div><br></div><div>Cheers,</div><div>-Iavor</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Sep 12, 2014 at 9:41 AM, 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:0 0 0 .8ex;border-left:1px #ccc 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 class="HOEnZb"><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>
</font></span></blockquote></div><br></div>