Merge pull request #731 from CakeML/source_assert

Add an executable assert statement to basis
CakeML · Mar 6, 2020 · c42539b · c42539b
2 parents cc300b0 + 2876854
commit c42539b
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/basis/RuntimeProgScript.sml b/basis/RuntimeProgScript.sml
@@ -43,6 +43,14 @@ val abort = process_topdecs `fun abort u = case u of () => exit 1`
 
 val _ = append_prog abort
 
+val _ = process_topdecs `
+  fun assert cond msg =
+  if cond
+  then ()
+  else (debugMsg msg;
+        abort());`
+  |> append_prog;
+
 val _ = ml_prog_update (close_module NONE);
 
 val _ = export_theory();