>From 9c52f86829b3d71c85ded6fdd8a926de9919bbba Mon Sep 17 00:00:00 2001
From: Evan Hanson <address@hidden>
Date: Tue, 16 Feb 2016 09:29:11 +1300
Subject: [PATCH] Allow compatible types, not just subtypes, in (the ...)
 declarations

---
 scrutinizer.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scrutinizer.scm b/scrutinizer.scm
index 301485c..965a321 100644
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -812,11 +812,11 @@
 			      "expression returns ~a values but is declared to have \
 			       a single result" (length rt)))
 			   (when (and (second params)
-				      (not (type<=? t (first rt))))
+				      (not (compatible-types? t (first rt))))
 			     ((if strict-variable-types report-error report-notice)
 			      loc
 			      "expression returns a result of type `~a' but is \
-			       declared to return `~a', which is not a subtype"
+			       declared to return `~a', which is not compatible"
 			      (first rt) t))))
 		    (list t)))
 		 ((##core#typecase)
-- 
2.7.0.rc3