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)
commit36bf9a53115a9c744848dcca437799f552e5fe41
tree080f5e829e0801e0615029b7d177c33960f0d12c
parent2d75b36fa0d7c3dcbcdc4af8284a63b326fb8def
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.
libraries/template-haskell/Language/Haskell/TH.hs
libraries/template-haskell/Language/Haskell/TH/Lib.hs
libraries/template-haskell/Language/Haskell/TH/Ppr.hs
libraries/template-haskell/Language/Haskell/TH/Syntax.hs