Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
rebinding ref is illegal
authorhaftmann
Thu, 29 Jul 2010 12:28:45 +0200
changeset 38070 5beae0d6b7bc
parent 38069 7775fdc52b6d
child 38071 aaeb6f0b1b1d
rebinding ref is illegal
src/Tools/Code/code_ml.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/Code/code_ml.ML	Thu Jul 29 12:28:45 2010 +0200
+++ b/src/Tools/Code/code_ml.ML	Thu Jul 29 12:28:45 2010 +0200
@@ -987,7 +987,8 @@
       )))
   #> fold (Code_Target.add_reserved target_SML) ML_Syntax.reserved_names
   #> fold (Code_Target.add_reserved target_SML)
-      ["o" (*dictionary projections use it already*), "Fail", "div", "mod" (*standard infixes*), "IntInf"]
+      ["ref" (*rebinding is illegal*), "o" (*dictionary projections use it already*),
+        "Fail", "div", "mod" (*standard infixes*), "IntInf"]
   #> fold (Code_Target.add_reserved target_OCaml) [
       "and", "as", "assert", "begin", "class",
       "constraint", "do", "done", "downto", "else", "end", "exception",
isabelle