Fixed spec

runtime/runtime.c

@@ -354,7 +354,7 @@ extern int LtagHash (char *s) {
     p++;
   }
 
-  if (strcmp (s, de_hash (h)) != 0) {
+  if (strncmp (s, de_hash (h), 5) != 0) {
     failure ("%s <-> %s\n", s, de_hash(h));
   }
   

spec/03.04.expressions.tex

@@ -40,7 +40,7 @@ property ``$e$ is a reference''. The result of assignment operator coincides wit
 assigns 3 to both "\lstinline|x|" and "\lstinline|y|".
 
 \begin{figure}[h]
-  \renewcommand{\Ref}[1]{\mathcal{R}\,({#1})}
+  \newcommand{\Ref}[1]{\mathcal{R}\,({#1})}
   \renewcommand{\arraystretch}{4}
   \[
     \begin{array}{cc}

spec/08.standard_library.tex

@@ -238,7 +238,7 @@ The function takes an accumulator and a pair key-value. The bindings are enumera
 
 Sets are immutable structures with the following interface:
 
-\descr{\lstinline|fun emptySet (f)|}{Creates an empty set. An argument is a comparison function, which returns zero, positive or negative integer values depending on
+\descr{\lstinline|fun emptySet (compare)|}{Creates an empty set. An argument is a comparison function, which returns zero, positive or negative integer values depending on
 the order of its arguments.}
 
 \descr{\lstinline|fun isEmptySet (m)|}{Returns true if an argument set is empty.}
@@ -259,7 +259,7 @@ there is no such element and non-zero otherwise.}
 \descr{\lstinline|fun diff (a, b)|}{Returns a difference between sets "\lstinline|a|" and "\lstinline|b|" (a set of those elements
   of "\lstinline|a|" which are not in "\lstinline|b|") as a new set.}
 
-\descr{\lstinline|fun listSet (l)|}{Converts a list into a set. }
+\descr{\lstinline|fun listSet (l, compare)|}{Converts a list into a set. The second argument is a comparison function as per \lstinline|emptySet|.}
 
 \descr{\lstinline|fun iterSet (f, s)|}{Applied a function "\lstinline|f|" to each element of the set "\lstinline|s|". The elements are
 enumerated in ascending order.}

src/version.ml

@@ -1 +1 @@
-let version = "Version 1.10, 80b391aff, Tue Oct 25 02:57:51 2022 +0300"
+let version = "Version 1.10, f47d872df, Tue Nov 1 09:22:19 2022 +0300"