16 Jul
2013
16 Jul
'13
4:02 a.m.
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@joachim-breitner.de Homepage: http://www.joachim-breitner.de ICQ#: 74513189 Jabber-ID: nomeata@joachim-breitner.de