~ chicken-r7rs (master) b516872180e7257fb8f987b04f87f86c834735aa

commit b516872180e7257fb8f987b04f87f86c834735aa
Author:     Evan Hanson <evhan@foldling.org>
AuthorDate: Sun Oct 5 03:31:23 2014 +0000
Commit:     Evan Hanson <evhan@foldling.org>
CommitDate: Sun Oct 5 03:31:23 2014 +0000

    Types fix for error-object-{message,irritants} (results may be false)

diff --git a/scheme.base.scm b/scheme.base.scm
index d0fe986..01176c3 100644
--- a/scheme.base.scm
+++ b/scheme.base.scm
@@ -656,8 +656,8 @@
           ((cadr exception-handlers) obj))))))
 
 (: error-object? (* -> boolean : (struct condition)))
-(: error-object-message ((struct condition) -> string))
-(: error-object-irritants ((struct condition) -> list))
+(: error-object-message ((struct condition) -> (or string false)))
+(: error-object-irritants ((struct condition) -> (or list false)))
 
 (define (error-object? o) (condition? o))
 (define error-object-message (condition-property-accessor 'exn 'message))