diff options
| author | Yale AI Dept <ai@nebula.cs.yale.edu> | 1993-07-14 13:08:00 -0500 |
|---|---|---|
| committer | Duncan McGreggor <duncan.mcgreggor@rackspace.com> | 1993-07-14 13:08:00 -0500 |
| commit | 4e987026148fe65c323afbc93cd560c07bf06b3f (patch) | |
| tree | 26ae54177389edcbe453d25a00c38c2774e8b7d4 /ast/predicates.scm | |
Import to github.
Diffstat (limited to 'ast/predicates.scm')
| -rw-r--r-- | ast/predicates.scm | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/ast/predicates.scm b/ast/predicates.scm new file mode 100644 index 0000000..20dfc13 --- /dev/null +++ b/ast/predicates.scm @@ -0,0 +1,18 @@ +;;; predicates.scm -- various useful predicates, collected from other places +;;; +;;; author : Sandra Loosemore +;;; date : 19 Mar 1992 +;;; + + +;;; Some predicates on patterns (used by CFN) + +(define-integrable (var-or-wildcard-pat? p) + (or (is-type? 'wildcard-pat p) + (is-type? 'var-pat p))) + +(define-integrable (irrefutable-pat? p) + (or (is-type? 'wildcard-pat p) + (is-type? 'var-pat p) + (is-type? 'irr-pat p))) + |