diff options
Diffstat (limited to '')
-rw-r--r-- | module/hnh/util/type.scm | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/module/hnh/util/type.scm b/module/hnh/util/type.scm index 800834e5..7e1c5a3d 100644 --- a/module/hnh/util/type.scm +++ b/module/hnh/util/type.scm @@ -2,6 +2,7 @@ :use-module ((srfi srfi-1) :select (every)) :export (build-validator-body list-of pair-of + false? typecheck current-procedure-name)) @@ -44,3 +45,8 @@ (list (quote variable) (quote type-clause) variable) #f))))) +;;; For use in typechecks, since +;;; (or false? integer?) +;;; is much clearer than +;;; (or not integer?) +(define false? not) |