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)))
+