[rts] Add tests for kinds

test/rts/CMakeLists.txt

@@ -4,4 +4,5 @@ YAVE_Test(function rts)
 YAVE_Test(static_typing rts)
 YAVE_Test(eval rts)
 YAVE_Test(exception rts)
-YAVE_Test(list rts)
+YAVE_Test(list rts)
+YAVE_Test(kinds rts)

test/rts/kinds.cpp

@@ -0,0 +1,53 @@
+//
+// Copyright (c) 2019 mocabe (https://github.com/mocabe)
+// Distributed under LGPLv3 License. See LICENSE for more details.
+//
+
+#include <catch2/catch.hpp>
+
+#include <yave/rts/kind_typing.hpp>
+
+using namespace yave;
+
+void test_is_kind()
+{
+  static_assert(is_kind(type_c<kstar>));
+  static_assert(is_kind(type_c<kfun<kstar, kstar>>));
+  static_assert(is_kind(make_kind()));
+  static_assert(is_kind(make_kind(make_kind(), make_kind())));
+}
+
+void test_kind_of()
+{
+  static_assert(kind_of(type_c<ty_value<int>>) == type_c<kstar>);
+  static_assert(
+    kind_of(type_c<ty_arrow<ty_value<int>, ty_value<double>>>)
+    == type_c<kstar>);
+  static_assert(kind_of(type_c<ty_list<ty_value<int>>>) == type_c<kstar>);
+}
+
+void test_is_ty()
+{
+  static_assert(is_tvar(type_c<tvar<int, kstar>>));
+  static_assert(is_tcon(type_c<ty_value<int>>));
+  static_assert(is_tgen(type_c<tgen<0>>));
+  static_assert(is_tcon(type_c<tcon<void, void>>));
+}
+
+void test_ty()
+{
+  using tArrow = tcon<ty_arrow_tag, kfun<kstar, kfun<kstar, kstar>>>;
+  using tList  = tcon<ty_list_tag, kfun<kstar, kstar>>;
+  using tInt   = tcon<int, kstar>;
+
+  class a;
+
+  static_assert(
+    type_c<tap<
+      tap<tArrow, tInt>,
+      tap<
+        tList,
+        tvar<
+          a,
+          kstar>>>> == type_c<ty_arrow<ty_value<int>, ty_list<ty_var<a, kstar>>>>);
+}