From d536dcff8a2ceacf190a32b74ce7328e23f4a8ae Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 29 Oct 2022 21:08:03 +0100 Subject: [PATCH] Update to Isabelle 2022. --- Code_Reflection.thy | 2 +- README.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Code_Reflection.thy b/Code_Reflection.thy index 3ac52ef..a202139 100644 --- a/Code_Reflection.thy +++ b/Code_Reflection.thy @@ -44,7 +44,7 @@ ML\ fun is_sml_file f = String.isSuffix ".ML" (Path.implode (#path f)) val files = (map (Generated_Files.check_files_in (Context.proof_of ctxt)) args) val ml_files = filter is_sml_file (map #1 (maps Generated_Files.get_files_in files)) - val ml_content = map (fn f => Syntax.read_input (#content f)) ml_files + val ml_content = map (fn f => Syntax.read_input (Bytes.content (#content f))) ml_files fun eval ml_content = fold (fn sml => (ML_Context.exec (fn () => ML_Context.eval_source ML_Compiler.flags sml))) ml_content diff --git a/README.md b/README.md index 956eda3..8de18db 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@ functionality to [Isabelle](https://isabelle.in.tum.de) or showcase specific functionality. The individual hacks usually consist out of a single theory file and all documentation is contained in that theory file. The master branch should work with the latest official -release of Isabelle (Isabelle 2021-1, at time of writing), hacks for +release of Isabelle (Isabelle 2022, at time of writing), hacks for older versions might be available on a dedicated branch. ## List of Isabelle Hacks