985 str "->", |
985 str "->", |
986 print_typ (INFX (1, R)) ty2 |
986 print_typ (INFX (1, R)) ty2 |
987 ))) |
987 ))) |
988 #> fold (Code_Target.add_reserved target_SML) ML_Syntax.reserved_names |
988 #> fold (Code_Target.add_reserved target_SML) ML_Syntax.reserved_names |
989 #> fold (Code_Target.add_reserved target_SML) |
989 #> fold (Code_Target.add_reserved target_SML) |
990 ["o" (*dictionary projections use it already*), "Fail", "div", "mod" (*standard infixes*), "IntInf"] |
990 ["ref" (*rebinding is illegal*), "o" (*dictionary projections use it already*), |
|
991 "Fail", "div", "mod" (*standard infixes*), "IntInf"] |
991 #> fold (Code_Target.add_reserved target_OCaml) [ |
992 #> fold (Code_Target.add_reserved target_OCaml) [ |
992 "and", "as", "assert", "begin", "class", |
993 "and", "as", "assert", "begin", "class", |
993 "constraint", "do", "done", "downto", "else", "end", "exception", |
994 "constraint", "do", "done", "downto", "else", "end", "exception", |
994 "external", "false", "for", "fun", "function", "functor", "if", |
995 "external", "false", "for", "fun", "function", "functor", "if", |
995 "in", "include", "inherit", "initializer", "lazy", "let", "match", "method", |
996 "in", "include", "inherit", "initializer", "lazy", "let", "match", "method", |