Adding equality constraints
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 19 Mar 2009 13:10:54 +0000 (13:10 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 19 Mar 2009 13:10:54 +0000 (13:10 +0000)
commit986ebb982fc89725325757f10debebf7d0c49d73
treed1b46314e962ed5a2921a9800d01382240abb07a
parent31ab762758f29260451f6ec0dc0c2fb00ffcf153
Adding equality constraints
- This patch adds equality constraints
- This requires an incompatible change of the type TH.Cxt - hence:

  *** This patch changes the API!  Existing client code will break! ***

- I took the opportunity to sanitise the definition of contexts a bit.
Language/Haskell/TH.hs
Language/Haskell/TH/Lib.hs
Language/Haskell/TH/Ppr.hs
Language/Haskell/TH/Syntax.hs