src/HOL/Tools/Quickcheck/Narrowing_Engine.hs

 
 import Control.Monad;
 import Control.Exception;
 import System.IO;
 import System.Exit;
+import qualified Typerep;
 import qualified Generated_Code;
 
 type Pos = [Int];
 
 -- Term refinement

 sumMapM f n [] = return n;
 sumMapM f n (a:as) = seq n (do m <- f a ; sumMapM f (n+m) as);
 
 -- Testable
 
-instance Show Generated_Code.Typerep where {
-  show (Generated_Code.Typerep c ts) = "Type (\"" ++ c ++ "\", " ++ show ts ++ ")";
+instance Show Typerep.Typerep where {
+  show (Typerep.Typerep c ts) = "Type (\"" ++ c ++ "\", " ++ show ts ++ ")";
 };
 
 instance Show Generated_Code.Term where {
   show (Generated_Code.Const c t) = "Const (\"" ++ c ++ "\", " ++ show t ++ ")";
   show (Generated_Code.App s t) = "(" ++ show s ++ ") $ (" ++ show t ++ ")";