X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypes%2FTypeRep.lhs;h=d48bcaca928ebea728b351df8eae9628be02e5f9;hb=9fd23f53af8c45b75b8a4b01d0e6fa1ad6f34aa9;hp=1770772da7617142120154316f4407b913ca9971;hpb=20d387c481324aed48e8469d3fbf0695b3b2e365;p=ghc-hetmet.git diff --git a/ghc/compiler/types/TypeRep.lhs b/ghc/compiler/types/TypeRep.lhs index 1770772..d48bcac 100644 --- a/ghc/compiler/types/TypeRep.lhs +++ b/ghc/compiler/types/TypeRep.lhs @@ -163,7 +163,7 @@ Here the "Eq a" and "?x :: Int -> Int" and "r\l" are all called *predicates* Predicates are represented inside GHC by PredType: \begin{code} -data PredType = Class Class [Type] +data PredType = ClassP Class [Type] | IParam Name Type \end{code}