Added assert

runtime/Std.i

@@ -1,3 +1,4 @@
+F,assert;
 F,getEnv;
 F,system;
 V,sysargs;

runtime/runtime.c

@@ -151,6 +151,15 @@ static void failure (char *s, ...) {
   vfailure (s, args);
 }
 
+void Lassert (void *f, char *s, ...) {
+  if (!UNBOX(f)) {
+    va_list args;
+
+    va_start (args, s);
+    vfailure (s, args);    
+  }
+}
+
 # define ASSERT_BOXED(memo, x)               \
   do if (UNBOXED(x)) failure ("boxed value expected in %s\n", memo); while (0)
 # define ASSERT_UNBOXED(memo, x)             \

spec/07.standard_library.tex

@@ -12,6 +12,9 @@ is added implicitly by the compiler and can not be specified by an end user.
 
 The following declarations are accessible:
 
+\descr{\lstinline|fun assert (n, s, ...)|}{Asserts that \lstinline|n| is non-zero; otherwise raises \lstinline|failure| with
+  a corresponding error message.}
+
 \descr{\lstinline|fun stringInt (s)|}{Converts a string representation of a signed decimal number into integer.}
 
 \descr{\lstinline|fun read ()|}{Reads an integer value from the standard input, printing a prompt "\lstinline|>|".}

src/stdpath.ml

@@ -1 +1 @@
-let path = "/home/db/.opam/4.07.1+fp/share/Lama"
+let path = "/home/db/.opam/4.07.1+fp+flambda/share/Lama"

src/version.ml

@@ -1 +1 @@
-let version = "Version 1.00, 19252991a, Thu Dec 24 02:54:54 2020 +0300"
+let version = "Version 1.00, eeddb0b25, Tue Jan 12 01:14:18 2021 +0300"