--- a/src/Pure/Tools/codegen_serializer.ML Sat Mar 31 15:13:52 2007 +0200
+++ b/src/Pure/Tools/codegen_serializer.ML Sun Apr 01 14:28:48 2007 +0200
@@ -2004,7 +2004,8 @@
pr_typ (INFX (1, R)) ty2
]))
(*IntInt resp. Big_int are added later when code extraction for numerals is set up*)
- #> add_reserved "SML" "o" (*dictionary projections use it already*)
+ #> fold (add_reserved "SML") ["o" (*dictionary projections use it already*),
+ "div", "mod" (*infixes*)]
#> fold (add_reserved "Haskell") [
"Prelude", "Main", "Bool", "Maybe", "Either", "Ordering", "Char", "String", "Int",
"Integer", "Float", "Double", "Rational", "IO", "Eq", "Ord", "Enum", "Bounded",