diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2023-10-16 19:03:02 +0200 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2023-10-16 19:03:02 +0200 |
commit | b305116d15d9b809ee0601261565cc354cde88bc (patch) | |
tree | c3af05ee77ed2f6ff4b647ebb95f86e93b6b93a2 /module/hnh/util/type.scm | |
parent | Update number of tests. (diff) | |
download | calp-b305116d15d9b809ee0601261565cc354cde88bc.tar.gz calp-b305116d15d9b809ee0601261565cc354cde88bc.tar.xz |
Move `false?` to type module.
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) |