From 9a0d8e2bb7957e22f4555fb4f461bd71bd3bdca6 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Wed, 20 Oct 2010 15:19:52 +0000 Subject: [PATCH] Fix haddock markup --- compiler/typecheck/TcCanonical.lhs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 -- 1.7.10.4