From 2d882ee7bbb452d7817ab69f872042192a0fd33f Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Mon, 15 Oct 2018 12:28:02 +0200
Subject: [PATCH] core: core:cdr: Support port type.

* src/mes.c (cdr_): Support port type.
* mes/module/mes/display.mes (display): Add space between fields.
---
 mes/module/mes/display.mes | 1 +
 src/mes.c                  | 1 +
 2 files changed, 2 insertions(+)

diff --git a/mes/module/mes/display.mes b/mes/module/mes/display.mes
index 9ddedf02..751db437 100644
--- a/mes/module/mes/display.mes
+++ b/mes/module/mes/display.mes
@@ -115,6 +115,7 @@
        ((port? x)
         (display "#<port " port)
         (display (core:cdr x) port)
+        (display " ")
         (display (core:car x) port)
         (display ">" port))
        ((variable? x)
diff --git a/src/mes.c b/src/mes.c
index 2a1ca1ec..0f34ba11 100644
--- a/src/mes.c
+++ b/src/mes.c
@@ -447,6 +447,7 @@ cdr_ (SCM x)
 {
   return (TYPE (x) != TCHAR
           && TYPE (x) != TNUMBER
+          && TYPE (x) != TPORT
           && (TYPE (CDR (x)) == TPAIR
               || TYPE (CDR (x)) == TREF
               || TYPE (CDR (x)) == TSPECIAL