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
