-
Committer:
Richard Eisenberg
-
Author(s):
YoEight
-
Date:
2014-02-09 17:58:21 UTC
-
Revision ID:
git-v1:57b662c3efd8579595c8642fce2d4cd60ba4ec0b
Make Pred a type synonym of Type (issue #7021)
In order to make any type as a Predicate in Template Haskell, as allowed by ConstraintKinds
Signed-off-by: Richard Eisenberg <eir@cis.upenn.edu>