# HG changeset patch
# User bulwahn
# Date 1347281542 -7200
# Node ID 4b11240d80bfe557167d1907356226c07cab3850
# Parent  fd11fe9dc6bb0ed4ed0d40131efeb167829febd9
replacing own dummy value by Haskell's Prelude.undefined

diff -r fd11fe9dc6bb -r 4b11240d80bf src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs
--- a/src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs	Mon Sep 10 09:57:21 2012 +0200
+++ b/src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs	Mon Sep 10 14:52:22 2012 +0200
@@ -281,15 +281,13 @@
 checkOf (Generated_Code.Universal _ f _) = (\(t : ts) -> checkOf (f t) ts)
 checkOf (Generated_Code.Existential _ f _) = (\(t : ts) -> checkOf (f t) ts)
 
-dummy = Generated_Code.Narrowing_variable [] (Generated_Code.Narrowing_sum_of_products [[]])
-
 treeOf :: Int -> Generated_Code.Property -> Tree
 treeOf n (Generated_Code.Property _) = Leaf Unevaluated
-treeOf n (Generated_Code.Universal ty f _)  = Variable Universal Unevaluated [n] ty (treeOf (n + 1) (f dummy)) 
-treeOf n (Generated_Code.Existential ty f _) = Variable Existential Unevaluated [n] ty (treeOf (n + 1) (f dummy))
+treeOf n (Generated_Code.Universal ty f _)  = Variable Universal Unevaluated [n] ty (treeOf (n + 1) (f undefined)) 
+treeOf n (Generated_Code.Existential ty f _) = Variable Existential Unevaluated [n] ty (treeOf (n + 1) (f undefined))
 
 reifysOf :: Generated_Code.Property -> [Generated_Code.Narrowing_term -> Generated_Code.Term]
 reifysOf (Generated_Code.Property _) = []
-reifysOf (Generated_Code.Universal _ f r)  = (r : (reifysOf (f dummy)))
-reifysOf (Generated_Code.Existential _ f r) = (r : (reifysOf (f dummy)))
+reifysOf (Generated_Code.Universal _ f r)  = (r : (reifysOf (f undefined)))
+reifysOf (Generated_Code.Existential _ f r) = (r : (reifysOf (f undefined)))