| changeset 37958 | 9728342bcd56 |
| parent 37881 | 096c8397c989 |
| child 38703 | 0e2596019119 |
| child 38768 | ecc713816e33 |
--- 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, ":")