--- 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;