From 81b5e77831d87df902f1eea3739782142e44fffd Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Fri, 26 Sep 1997 18:28:36 +0000
Subject: [PATCH] fixed type for first & rest

original commit: df24b968c6cfeb814256523f2bda3907811a6dd0
---
 collects/mzlib/functior.ss | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/mzlib/functior.ss b/collects/mzlib/functior.ss
index 50b29b3..8dadffe 100644
--- a/collects/mzlib/functior.ss
+++ b/collects/mzlib/functior.ss
@@ -180,7 +180,7 @@
    
    (define first (polymorphic (lambda (x) 
 				(unless (pair? x)
-					(raise-type-error 'first "list" x))
+					(raise-type-error 'first "non-empty list" x))
 				(car x))))
    (define second (polymorphic cadr))
    (define third (polymorphic caddr))
@@ -192,7 +192,7 @@
 
    (define rest (polymorphic (lambda (x) 
 			       (unless (pair? x)
-				       (raise-type-error 'rest "list" x))
+				       (raise-type-error 'rest "non-empty list" x))
 			       (cdr x))))
    
    (define  build-string