Commit 17f6e42a authored by Matthias Böhm's avatar Matthias Böhm
Browse files

some additional documentation for "dictTypeExpr" in "ClassEnv" (related to...

some additional documentation for "dictTypeExpr" in "ClassEnv" (related to unexpanded/expanded type sigs)
parent a1c3d409
......@@ -651,7 +651,11 @@ initFreshVar = 1 -- not zero!
-- ----------------------------------------------------------------------------
-- |returns a type expression representing the type of the dictionary for
-- the given class (here the canonicalized name must be given)
-- the given class (here the canonicalized name must be given). Note that
-- the resulting type expression is completely unexpanded (using
-- dictionary types and the original method signatures). It follows that
-- this function can only be used for classes from the source file being compiled,
-- not for classes that are imported.
dictTypeExpr :: ClassEnv -> QualIdent -> TypeExpr
dictTypeExpr cEnv cls =
case null (scsTypes ++ methodTypes) of
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment