diff -r 94e9302a7fd0 -r 9728342bcd56 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Fri Jul 23 18:42:46 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Sat Jul 24 18:08:41 2010 +0200
@@ -415,6 +415,7 @@
   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, ":")