From b305116d15d9b809ee0601261565cc354cde88bc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Mon, 16 Oct 2023 19:03:02 +0200 Subject: Move `false?` to type module. --- module/hnh/util/type.scm | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'module/hnh') 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) -- cgit v1.2.3