>From 44832e6691fd1ba679b41494094685d213cd62ec 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 | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/scrutinizer.scm b/scrutinizer.scm
index 7c88d9d..fb398e2 100644
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -816,11 +816,11 @@
 			      "expression returns ~a values but is declared to have \
 			       a single result" (length rt)))
 			   (when (and (second params)
-				      (not (type<=? t (first rt))))
-			     ((if strict report-error report-notice)
+				      (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