Upgraded deps

polytypic · polytypic · commit 879f0889d574 · 2020-10-08T15:53:33.000+03:00
diff --git a/.clang-format b/.clang-format
diff --git a/.clang-format b/.clang-format
@@ -0,0 +1,4 @@
+BinPackArguments: false
+BinPackParameters: false
+ColumnLimit: 80
+IndentWidth: 2
diff --git a/.cppsm b/.cppsm
@@ -1 +1 @@
-Subproject commit cfc28d9953854ff17b9e5815fae7b399f37cad8b
+Subproject commit 559e13b0125da585b05b7f7c08b0c38a0523cdbf
diff --git a/.gitignore b/.gitignore
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1 @@
+.build*
diff --git a/.prettierrc b/.prettierrc
diff --git a/.prettierrc b/.prettierrc
@@ -0,0 +1,7 @@
+{
+  "bracketSpacing": false,
+  "printWidth": 80,
+  "semi": false,
+  "singleQuote": true,
+  "proseWrap": "always"
+}
diff --git a/.travis.yml b/.travis.yml
@@ -6,24 +6,18 @@ notifications:
 matrix:
   include:
     - os: linux
-      dist: trusty
-      addons:
-        apt:
-          sources:
-            - ubuntu-toolchain-r-test
-            - llvm-toolchain-trusty-7
-          packages:
-            - g++-8
-            - clang-7
+      dist: focal
     - os: osx
-      osx_image: xcode10.2
+      osx_image: xcode12.2
     - os: windows
 
 git:
+  depth: 1
   submodules: false
 
 before_install:
-  - git submodule update --init
+  - export -f travis_nanoseconds travis_time_start travis_time_finish
 
 script:
-  - .cppsm/travis-ci || ./test
+  - if ! [ -x .cppsm/travis-ci ]; then git submodule --quiet update --init --no-recommend-shallow --depth 1 .cppsm; fi
+  - .cppsm/travis-ci
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -1,2 +1,3 @@
 cmake_minimum_required(VERSION 3.9)
-include(.cppsm/c++17-no-rtti-no-exns.cmake)
+project(lax.cpp)
+include(.cppsm/c++17.cmake)
diff --git a/internals/testing/logical_test.cpp b/internals/testing/logical_test.cpp
@@ -2,14 +2,10 @@
 
 #include "config.hpp"
 
-static_assert(
-    lax::value_of_v<
-        lax::if_m<lax::and_m<>, lax::value_t<int, 1>, lax::value_t<int, 2>>> ==
-    1);
-
-static_assert(
-    lax::value_of_v<
-        lax::if_m<lax::or_m<>, lax::value_t<int, 1>, lax::value_t<int, 2>>> ==
-    2);
+static_assert(lax::value_of_v<lax::if_m<lax::and_m<>, lax::value_t<int, 1>,
+                                        lax::value_t<int, 2>>> == 1);
+
+static_assert(lax::value_of_v<lax::if_m<lax::or_m<>, lax::value_t<int, 1>,
+                                        lax::value_t<int, 2>>> == 2);
 
 static_assert(lax::value_of_v<lax::not_m<lax::false_t>>);
diff --git a/internals/testing/type_traits_test.cpp b/internals/testing/type_traits_test.cpp
@@ -23,4 +23,4 @@ static inline constexpr bool is_stored_plain_v =
 static_assert(!is_stored_plain_v<char>);
 static_assert(!is_stored_plain_v<char *>);
 static_assert(is_stored_plain_v<int *>);
-static_assert(is_stored_plain_v<int * [2]>);
+static_assert(is_stored_plain_v<int *[2]>);
diff --git a/provides/include/lax_v1/comparison.hpp b/provides/include/lax_v1/comparison.hpp
@@ -6,7 +6,7 @@ template <class Lhs, class Rhs>
 struct lax_v1::eq_m : auto_t<(value_of_v<Lhs> == value_of_v<Rhs>)> {};
 
 template <class Lhs, class Rhs>
-struct lax_v1::gt_m : auto_t<(value_of_v<Lhs>> value_of_v<Rhs>)> {};
+struct lax_v1::gt_m : auto_t<(value_of_v<Lhs> > value_of_v<Rhs>)> {};
 
 template <class Lhs, class Rhs>
 struct lax_v1::gte_m : auto_t<(value_of_v<Lhs> >= value_of_v<Rhs>)> {};
