Exposing newtype coercions to Haskell
mail at joachim-breitner.de
Tue Jul 16 10:02:55 CEST 2013
Am Dienstag, den 16.07.2013, 07:54 +0000 schrieb Simon Peyton-Jones:
> | I guess it doesn’t change the implementation a lot
> Oh I think it does change it a LOT. No more hunting through all the
> in-scope identifier for ones whose type finish with ".... -> NT t1
> t2". No new syntax. No new type-class-like deduction algorithm. It
> all just plays out through the existing type class machinery.
Ok, I was referring here to what I have done so far, which is mostly the
code that traverses the type and assembles the ~/C witness, which will
still be required.
e-Mail: mail at joachim-breitner.de
Jabber-ID: nomeata at joachim-breitner.de
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 198 bytes
Desc: This is a digitally signed message part
More information about the ghc-devs