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.
prefer static library_call (again): avoid memory-leak within C code area;
authorwenzelm
Fri, 06 Nov 2020 14:32:42 +0100
changeset 72554 81518b38b316
parent 72553 4e9d22dcd595
child 72555 653ac845b466
prefer static library_call (again): avoid memory-leak within C code area;
src/Pure/General/sha1.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/sha1.ML	Fri Nov 06 13:43:49 2020 +0100
+++ b/src/Pure/General/sha1.ML	Fri Nov 06 14:32:42 2020 +0100
@@ -148,10 +148,10 @@
 val library_path =
   Path.explode ("$ML_HOME/" ^ (if ML_System.platform_is_windows then "sha1.dll" else "libsha1.so"));
 
-fun library_call args =
+val library_call =
   Foreign.buildCall3
     (Foreign.getSymbol (Foreign.loadLibrary (File.platform_path library_path)) "sha1_buffer",
-      (Foreign.cByteArray, Foreign.cUlong, Foreign.cPointer), Foreign.cPointer) args;
+      (Foreign.cByteArray, Foreign.cUlong, Foreign.cPointer), Foreign.cPointer);
 
 fun with_memory n =
   Thread_Attributes.uninterruptible (fn restore_attributes => fn f =>
isabelle