Dangling

3 files changed, 6 insertions, 4 deletions

diff --git a/modules/core/c++/abstract/alloc.hpp b/modules/core/c++/abstract/alloc.hpp
index b15e737..5872c10 100644
--- a/modules/core/c++/abstract/alloc.hpp
+++ b/modules/core/c++/abstract/alloc.hpp
@@ -2,7 +2,7 @@
 
 namespace kel {
 namespace lbm {
-namespace all {
+namespace rep {
 struct Native {};
 }
 }
diff --git a/modules/core/c++/abstract/common.hpp b/modules/core/c++/abstract/common.hpp
index 408946c..1b4e150 100644
--- a/modules/core/c++/abstract/common.hpp
+++ b/modules/core/c++/abstract/common.hpp
@@ -150,5 +150,4 @@ template <> struct void_unfix<void_t> { typedef void Type; };
 template <typename T> using unfix_void = typename void_unfix<T>::Type;
 
 template <typename... T> constexpr bool always_false = false;
-
 } // namespace saw
diff --git a/modules/core/c++/abstract/data.hpp b/modules/core/c++/abstract/data.hpp
index 327fb63..bef9a73 100644
--- a/modules/core/c++/abstract/data.hpp
+++ b/modules/core/c++/abstract/data.hpp
@@ -2,11 +2,14 @@
 
 #include "schema.hpp"
 #include "encode.hpp"
+#include "common.hpp"
 
 namespace kel {
 namespace lbm {
-template<typename Schema, typename Encode = enc::Native>
-class data final {};
+template<typename Schema, typename Encode = rep::Native>
+class data final {
+	static_assert(always_false<Schema,Encode>, "Invalid schema + encode in data specialization");
+};
 
 template<typename T, uint64_t N>
 class data<sch::Primitive<T,N>,Encode> final {