Type checker plugins

[Iavor Diatchki]

Hi Adam,

I am back from vacation, and I think I should have some time to try to
implement something along these lines.

Cheers,
-Iavor

On Fri, Sep 12, 2014 at 9:41 AM, Adam Gundry <adam at well-typed.com> wrote:

> Hi folks,
>
> Those of you at HIW last week might have been subjected to my lightning
> talk on plugins for the GHC type checker, which should allow us to
> properly implement nifty features like units of measure or type-level
> numbers without recompiling GHC. I've written up a wiki page summarising
> the idea:
>
> https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker
>
> Feedback is very welcome, particularly if (a) you have an interesting
> use for this feature or (b) you think this is a terrible idea!
>
> Thanks,
>
> Adam
>
>
> --
> Adam Gundry, Haskell Consultant
> Well-Typed LLP, http://www.well-typed.com/
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20141006/77834935/attachment.html>