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 <simo...@microsoft.com> 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 _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc