Thanks Jason, that does help. So (basic questions here) without type witnesses, the type ghc sees (after cpp) might be "p", whereas with type witnesses it would be "p x y". That I recognise.
And x and y are the starting and ending contexts ? What would be an example of these ? Do you think some day we'll drop the non-type witness option and the cpp macros, leaving just straight haskell ? _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
