diff -r ac9e909fe55d -r 0a2371e7ced3 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Fri Feb 15 08:31:30 2013 +0100
+++ b/src/Tools/Code/code_haskell.ML	Fri Feb 15 08:31:31 2013 +0100
@@ -418,9 +418,6 @@
   literal_char = Library.enclose "'" "'" o char_haskell,
   literal_string = quote o translate_string char_haskell,
   literal_numeral = numeral_haskell,
-  literal_positive_numeral = numeral_haskell,
-  literal_alternative_numeral = numeral_haskell,
-  literal_naive_numeral = numeral_haskell,
   literal_list = enum "," "[" "]",
   infix_cons = (5, ":")
 } end;