Exposing newtype coercions to Haskell

[Joachim Breitner]

Hi,

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.

Greetings,
Joachim

-- 
Joachim Breitner
  e-Mail: mail at joachim-breitner.de
  Homepage: http://www.joachim-breitner.de
  ICQ#: 74513189
  Jabber-ID: nomeata at joachim-breitner.de
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130716/44126c5a/attachment.pgp>