--- a/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs Sat Feb 22 22:06:10 2014 +0100
+++ b/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs Sun Feb 23 10:33:43 2014 +0100
@@ -4,6 +4,7 @@
import Control.Exception;
import System.IO;
import System.Exit;
+import qualified Typerep;
import qualified Generated_Code;
type Pos = [Int];
@@ -67,8 +68,8 @@
-- 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 {