Commit 4117551f authored by Gabor Greif's avatar Gabor Greif 💬

Re-add 'classP' with a compatible implementation and a deprecation notice

parent eab173b1
......@@ -112,7 +112,7 @@ module Language.Haskell.TH(
-- **** Strictness
isStrict, notStrict, strictType, varStrictType,
-- **** Class Contexts
cxt, normalC, recC, infixC, forallC,
cxt, classP, normalC, recC, infixC, forallC,
-- *** Kinds
varK, conK, tupleK, arrowK, listK, appK, starK, constraintK,
......
......@@ -526,6 +526,13 @@ sigT t k
equalityT :: TypeQ
equalityT = return EqualityT
{-# DEPRECATED classP "Constraint constructors are just type constructors, frob this code as 'constraintT'." #-}
classP :: Name -> [Q Type] -> Q Pred
classP cla tys
= do
tysl <- sequence tys
return (foldl AppT (ConT cla) tysl)
promotedT :: Name -> TypeQ
promotedT = return . PromotedT
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment