From: Ian Lynagh Date: Wed, 20 Oct 2010 15:19:52 +0000 (+0000) Subject: Fix haddock markup X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=9a0d8e2bb7957e22f4555fb4f461bd71bd3bdca6;hp=924c3f4cbf72b301dfc9db0c5fd9a685369de1ac Fix haddock markup --- diff --git a/compiler/typecheck/TcCanonical.lhs b/compiler/typecheck/TcCanonical.lhs index 5624fd3..42c2515 100644 --- a/compiler/typecheck/TcCanonical.lhs +++ b/compiler/typecheck/TcCanonical.lhs @@ -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