X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcSimplify.lhs;h=0af5ceb0a163b375dd4929671bbc68c2575f06e1;hb=4c6a3f787abcaed009a574196d82237d9ae64fc8;hp=63529c12c135fb7942347f74f133d8c2acd6dc67;hpb=7ba02f08d722982bfdb54c28b8a9cbd49b1fdb5f;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index 63529c1..0af5ceb 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -64,6 +64,7 @@ import Util
 import UniqSet
 import SrcLoc
 import DynFlags
+import FastString
 
 import Control.Monad
 import Data.List
@@ -1150,7 +1151,7 @@ Given the FD of Modular in this example, class improvement will instantiate
 t_a to 'a', where 'a' is the skolem from test5's signatures (due to the
 Modular s a predicate in that signature).  If we don't zonk (Modular s t_a) in
 the givens, we will get into a loop as improveOne uses the unification engine
-TcGadt.tcUnifyTys, which doesn't know about mutable type variables.
+Unify.tcUnifyTys, which doesn't know about mutable type variables.
 
 
 Note [LOOP]