Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Shayne Fletcher
Glasgow Haskell Compiler
Commits
9a0d8e2b
Commit
9a0d8e2b
authored
Oct 20, 2010
by
Ian Lynagh
Browse files
Fix haddock markup
parent
924c3f4c
Changes
1
Hide whitespace changes
Inline
Side-by-side
compiler/typecheck/TcCanonical.lhs
View file @
9a0d8e2b
...
...
@@ -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
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment