More interoperability tests.

1 files changed, 8 insertions, 4 deletions

diff --git a/test/regression/Results/interop1 b/test/regression/Results/interop1
index 34ec8e6b..bac9aaab 100644
--- a/test/regression/Results/interop1
+++ b/test/regression/Results/interop1
@@ -20,7 +20,9 @@ u5 = { a = 123, b = 'z' }
 u6 = { a = -12345678, b = 555 }
 u7 = { a = 111111111, b = 2222, c = 'a' }
 u8 = { a = 'u', b = 8 }
-u9 = { a = 3.14159, b = -2.718 }
+u9 = { a = { 9, 8, 7, 6 } }
+after ms4, x = { 's', 'a', 'm', 'e' }
+after mu9, x = { a = { 11, 22, 33, 44 } }
 rs1 = { a = 'a' }
 rs2 = { a = 'a', b = 'b' }
 rs3 = { a = 'a', b = 'b', c = 'c' }
@@ -28,7 +30,7 @@ rs4 = { a = 'a', b = 'b', c = 'c', d = 'd' }
 rs8 = { "Lorem ipsum" }
 ru2 = { a = 12, b = -34 }
 ru6 = { a = 12345678, b = -9999 }
-ru9 = { a = 0.123400, b = -5678.900000 }
+ru9 = { a = { 111, 222, 333, 444 } }
 --- native calling CompCert:
 s1 = { a = 'a' }
 s2 = { a = 'x', b = 'y' }
@@ -51,7 +53,9 @@ u5 = { a = 123, b = 'z' }
 u6 = { a = -12345678, b = 555 }
 u7 = { a = 111111111, b = 2222, c = 'a' }
 u8 = { a = 'u', b = 8 }
-u9 = { a = 3.14159, b = -2.718 }
+u9 = { a = { 9, 8, 7, 6 } }
+after ms4, x = { 's', 'a', 'm', 'e' }
+after mu9, x = { a = { 11, 22, 33, 44 } }
 rs1 = { a = 'a' }
 rs2 = { a = 'a', b = 'b' }
 rs3 = { a = 'a', b = 'b', c = 'c' }
@@ -59,4 +63,4 @@ rs4 = { a = 'a', b = 'b', c = 'c', d = 'd' }
 rs8 = { "Lorem ipsum" }
 ru2 = { a = 12, b = -34 }
 ru6 = { a = 12345678, b = -9999 }
-ru9 = { a = 0.123400, b = -5678.900000 }
+ru9 = { a = { 111, 222, 333, 444 } }