# HG changeset patch
# User bulwahn
# Date 1323348807 -3600
# Node ID 36ea69266e61535e6cf541f447e907ad6768d29a
# Parent  9049b24959ded14793a9db730b33ba6a92e4eddf
removing special code generator setup for hd and last function because this causes problems with quickcheck narrowing as the Haskell Prelude functions throw errors that cannot be caught instead of PatternFail exceptions

diff -r 9049b24959de -r 36ea69266e61 src/HOL/List.thy
--- a/src/HOL/List.thy	Thu Dec 08 13:46:04 2011 +0100
+++ b/src/HOL/List.thy	Thu Dec 08 13:53:27 2011 +0100
@@ -5312,12 +5312,6 @@
 code_const dropWhile
   (Haskell "dropWhile")
 
-code_const hd
-  (Haskell "head")
-
-code_const last
-  (Haskell "last")
-
 code_const list_all
   (Haskell "all")