From aeeedd32f8717d8c6a1886a5561a879059be87d0 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Wed, 16 Nov 2016 10:53:39 +0200
Subject: Make names and vector<name> different types, add typed value
 constructor

---
 build2/name | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'build2/name')

diff --git a/build2/name b/build2/name
index 12aa9dc..e079c9f 100644
--- a/build2/name
+++ b/build2/name
@@ -125,7 +125,15 @@ namespace build2
 
   // Vector of names.
   //
-  using names = vector<name>;
+  // We make it a separate type rather than an alias for vector<name> in order
+  // to distinguish between untyped variable values (names) and typed ones
+  // (vector<name>).
+  //
+  struct names: vector<name>
+  {
+    using vector::vector;
+  };
+
   using names_view = vector_view<const name>;
 
   // The same semantics as to_stream(name).
-- 
cgit v1.1