projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
924c3f4
)
Fix haddock markup
author
Ian Lynagh
<igloo@earth.li>
Wed, 20 Oct 2010 15:19:52 +0000
(15:19 +0000)
committer
Ian Lynagh
<igloo@earth.li>
Wed, 20 Oct 2010 15:19:52 +0000
(15:19 +0000)
compiler/typecheck/TcCanonical.lhs
patch
|
blob
|
history
diff --git
a/compiler/typecheck/TcCanonical.lhs
b/compiler/typecheck/TcCanonical.lhs
index
5624fd3
..
42c2515
100644
(file)
--- a/
compiler/typecheck/TcCanonical.lhs
+++ b/
compiler/typecheck/TcCanonical.lhs
@@
-497,10
+497,10
@@
inert set is an idempotent subustitution...
\begin{code}
data TypeClassifier
\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
unClassify :: TypeClassifier -> TcType
unClassify (VarCls tv) = TyVarTy tv