Fix haddock markup
[ghc-hetmet.git] / compiler / typecheck / TcCanonical.lhs
index 5624fd3..42c2515 100644 (file)
@@ -497,10 +497,10 @@ inert set is an idempotent subustitution...
 
 \begin{code}
 data TypeClassifier 
-  = FskCls TcTyVar      -- Flatten skolem 
-  | VarCls TcTyVar     -- *Non-flatten-skolem* variable 
-  | FunCls TyCon [Type]        -- Type function, exactly saturated
-  | OtherCls TcType    -- Neither of the above
+  = FskCls TcTyVar      -- ^ Flatten skolem 
+  | VarCls TcTyVar      -- ^ *Non-flatten-skolem* variable 
+  | FunCls TyCon [Type] -- ^ Type function, exactly saturated
+  | OtherCls TcType     -- ^ Neither of the above
 
 unClassify :: TypeClassifier -> TcType
 unClassify (VarCls tv)      = TyVarTy tv