From 17f6e42a781ac39b1c63a1c4228f862c82369b3b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20B=C3=B6hm?= <mboe@informatik.uni-kiel.de>
Date: Fri, 2 Aug 2013 13:48:33 +0200
Subject: [PATCH] some additional documentation for "dictTypeExpr" in
 "ClassEnv" (related to unexpanded/expanded type sigs)

---
 src/Env/ClassEnv.hs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/Env/ClassEnv.hs b/src/Env/ClassEnv.hs
index c8f59aab..cb0280cf 100644
--- a/src/Env/ClassEnv.hs
+++ b/src/Env/ClassEnv.hs
@@ -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
-- 
GitLab