2 files changed, 97 insertions, 0 deletions
diff --git a/tests/value/concat.testscript b/tests/value/concat.testscript
index 97391c4..69ec9fc 100644
--- a/tests/value/concat.testscript
+++ b/tests/value/concat.testscript
@@ -3,6 +3,48 @@
 
 .include ../common.testscript
 
+: null
+:
+{
+  : untyped
+  :
+  $* <<EOI >>/EOO
+  x = [null]
+
+  print y "$x x"
+  print "x $x" y
+
+  print $x"x"
+  print "x"$x
+  print $x$x
+  EOI
+  y  x
+  x  y
+  x
+  x
+  {}
+  EOO
+
+  : string
+  :
+  $* <<EOI >>/EOO
+  x = [string,null]
+
+  print y "$x x"
+  print "x $x" y
+
+  print $x"x"
+  print "x"$x
+  print $x$x
+  EOI
+  y  x
+  x  y
+  x
+  x
+  {}
+  EOO
+}
+
 : dir_path
 :
 {
diff --git a/tests/value/reverse.testscript b/tests/value/reverse.testscript
index 9f73981..921d14b 100644
--- a/tests/value/reverse.testscript
+++ b/tests/value/reverse.testscript
@@ -89,3 +89,58 @@
     EOO
   }
 }
+
+: reduce
+:
+: Test empty simple value reduction heuristics.
+:
+{
+  : typed
+  :
+  $* <<EOI >>"EOO"
+  x = [string]
+  n = [string,null]
+  y = [strings] $x
+  y += $x
+  y += $n
+  print $size($y)
+
+  file{*}: y += $x
+  file{x}:
+  print $size($(file{x}: y))
+
+  for i: $x
+    print iteration
+
+  print $null($x[0])
+  EOI
+  2
+  3
+  iteration
+  false
+  EOO
+
+  : untyped
+  :
+  $* <<EOI >>"EOO"
+  x =
+  n = [null]
+  y = $x
+  y += $x
+  y += $n
+  print $size($y)
+
+  file{*}: y += $x
+  file{x}:
+  print $size($(file{x}: y))
+
+  for i: $x
+    print iteration
+
+  print $null($x[0])
+  EOI
+  0
+  0
+  true
+  EOO
+}