diff options
-rw-r--r-- | shroud/ui.scm | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/shroud/ui.scm b/shroud/ui.scm index bbe0f2a..2fb3708 100644 --- a/shroud/ui.scm +++ b/shroud/ui.scm @@ -25,6 +25,7 @@ program-name show-version-and-exit leave + leave-if-false make-user-module load* shroud-main)) @@ -67,6 +68,11 @@ There is NO WARRANTY, to the extent permitted by law.~%" (newline) (exit 1)) +(define (leave-if-false obj error . args) + "Display error message defined by the ERROR string and ARGS if OBJ +is #f." + (or obj (apply leave error args))) + (define (make-user-module modules) "Return a new user module with the additional MODULES loaded." ;; Module in which the machine description file is loaded. |