[commit: ghc] master: Add comment (bb2f56a)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/bb2f56a78a67d8c6c16ebbde3ce616e05c7d8b6f

>---------------------------------------------------------------

commit bb2f56a78a67d8c6c16ebbde3ce616e05c7d8b6f
Author: Simon Peyton Jones <[email protected]>
Date:   Wed Dec 5 11:17:20 2012 +0000

    Add comment

>---------------------------------------------------------------

 compiler/typecheck/TcType.lhs |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs
index 73565e0..c524a7a 100644
--- a/compiler/typecheck/TcType.lhs
+++ b/compiler/typecheck/TcType.lhs
@@ -447,6 +447,7 @@ uf will get unified *once more* to (F Int).
 
 \begin{code}
 newtype Untouchables = Untouchables Int
+  -- See Note [Untouchable type variables] for what this Int is
 
 noUntouchables :: Untouchables
 noUntouchables = Untouchables 0   -- 0 = outermost level