src/HOL/Quickcheck_Narrowing.thy

 data Typerep = Typerep String [Typerep]
 \<close> for type_constructor typerep constant Typerep.Typerep
 | type_constructor typerep \<rightharpoonup> (Haskell_Quickcheck) "Typerep.Typerep"
 | constant Typerep.Typerep \<rightharpoonup> (Haskell_Quickcheck) "Typerep.Typerep"
 
-code_reserved Haskell_Quickcheck Typerep
+code_reserved
+  (Haskell_Quickcheck) Typerep
 
 code_printing
   type_constructor integer \<rightharpoonup> (Haskell_Quickcheck) "Prelude.Int"
 | constant "0::integer" \<rightharpoonup>
     (Haskell_Quickcheck) "!(0/ ::/ Prelude.Int)"