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: m...@joachim-breitner.de Homepage: http://www.joachim-breitner.de ICQ#: 74513189 Jabber-ID: nome...@joachim-breitner.de
signature.asc
Description: This is a digitally signed message part
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
