From f453aee0ab0ab1cb520b06233017826d54a54059 Mon Sep 17 00:00:00 2001
From: Martin Stjernholm <mast@lysator.liu.se>
Date: Thu, 22 May 2008 16:39:15 +0200
Subject: [PATCH] Another incompatibility due to improved type checking. This
 one is a more intricate effect of better type inference.

I suggest all type errors are simply reduced to warnings in compat
mode, regardless of compat level.

Rev: src/testsuite.in:1.820
---
 src/testsuite.in | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/src/testsuite.in b/src/testsuite.in
index 8d3f2fa95a..77538f4cad 100644
--- a/src/testsuite.in
+++ b/src/testsuite.in
@@ -1,5 +1,5 @@
 START_MARKER
-test_true([["$Id: testsuite.in,v 1.819 2008/05/21 21:15:59 mast Exp $"]]);
+test_true([["$Id: testsuite.in,v 1.820 2008/05/22 14:39:15 mast Exp $"]]);
 
 // This triggered a bug only if run sufficiently early.
 test_compile_any([[#pike 7.2]])
@@ -593,6 +593,15 @@ test_compile_error([[ float b=17.0; string a; a=b*42.0; ]])
 
 test_compile_error([[class F {inherit master()->dirnode;};]]);
 
+test_program_equal([[
+#pike 7.6
+  string a()
+  {
+    string|array(string) res = ({"spud"});
+    return res + ({});
+  }
+]], ({"spud"}))
+
 // Warnings
 
 test_compile_warning([[ int *a ]])
-- 
GitLab