From 7da59c79a00119dba4e4c69bf7609143f4ed85c1 Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Sun, 17 Nov 2019 16:01:53 +0100
Subject: [PATCH] TYPE-0

---
 mes/module/mes/type-0.mes | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/mes/module/mes/type-0.mes b/mes/module/mes/type-0.mes
index 6d2b284a..083a26b6 100644
--- a/mes/module/mes/type-0.mes
+++ b/mes/module/mes/type-0.mes
@@ -77,10 +77,10 @@
   (eq? (core:type x) <cell:port>))
 
 (define (procedure? p)
-  (cond ((builtin? p) #t)
-        ((and (pair? p) (eq? (car p) 'lambda)))
-        ((closure? p) #t)
-        (#t #f)))
+  (and (or (builtin? p)
+           (and (pair? p) (eq? (car p) 'lambda))
+           (closure? p))
+       #t))
 
 (define (special? x)
   (eq? (core:type x) <cell:special>))