Implement value type propagation on expansion

Currently, we only propagate types of sole, unquoted expansions (variable,
function call, or eval context), similar to NULL. To untypify the value,
simply quote it.

2 files changed, 3 insertions, 3 deletions

diff --git a/unit-tests/function/call.test b/unit-tests/function/call.test
index 003a828..2b91cc3 100644
--- a/unit-tests/function/call.test
+++ b/unit-tests/function/call.test
@@ -80,11 +80,11 @@ $* <'print $optional(abc)' >'false'
 
 : null-true
 :
-$* <'print $null([null])' >'true'
+$* <'print $nullable([null])' >'true'
 
 : null-false
 :
-$* <'print $null(nonull)' >'false'
+$* <'print $nullable(nonull)' >'false'
 
 : null-fail
 :
diff --git a/unit-tests/function/driver.cxx b/unit-tests/function/driver.cxx
index 6677c24..3dea374 100644
--- a/unit-tests/function/driver.cxx
+++ b/unit-tests/function/driver.cxx
@@ -33,7 +33,7 @@ namespace build2
     f["fail"]     = []()        {fail << "failed" << endf;};
     f["fail_arg"] = [](names a) {return convert<uint64_t> (move (a[0]));};
 
-    f["null"]     = [](names* a)          {return a == nullptr;};
+    f["nullable"] = [](names* a)          {return a == nullptr;};
     f["optional"] = [](optional<names> a) {return !a;};
 
     f["dummy0"] = []()         {return "abc";};