[project @ 2000-09-22 15:56:12 by simonpj]

[ghc-hetmet.git] / ghc / compiler / types / Type.lhs

diff --git a/ghc/compiler/types/Type.lhs b/ghc/compiler/types/Type.lhs
index e57e125..9c3e3bf 100644 (file)
--- a/ghc/compiler/types/Type.lhs
+++ b/ghc/compiler/types/Type.lhs
@@ -678,6 +678,8 @@ ClassPred and ClassContext are used in class and instance declarations.
 %************************************************************************
 
 \begin{code}
+-- f :: (C a, ?x :: Int -> Int) => a -> Int
+-- Here the "C a" and "?x :: Int -> Int" are Preds
 data PredType  = Class  Class [Type]
               | IParam Name  Type
               deriving( Eq, Ord )