yay :) On Mon, Oct 6, 2014 at 2:42 PM, Iavor Diatchki <iavor.diatc...@gmail.com> wrote:
> 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 <a...@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/ >> > > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > >
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users