Lipsticks

Signed-off-by: yamacir-kit <[email protected]>

README.md

@@ -91,7 +91,7 @@ Procedures for each standard are provided by the following R7RS-style libraries:
 cmake -B build -DCMAKE_BUILD_TYPE=Release
 cd build
 make package
-sudo apt install build/meevax_0.5.117_amd64.deb
+sudo apt install build/meevax_0.5.118_amd64.deb
 ```
 
 or
@@ -123,9 +123,9 @@ sudo rm -rf /usr/local/share/meevax
 
 | Target Name | Description
 |-------------|-------------
-| `all`       | Build shared-library `libmeevax.0.5.117.so` and executable `meevax`
+| `all`       | Build shared-library `libmeevax.0.5.118.so` and executable `meevax`
 | `test`      | Test executable `meevax`
-| `package`   | Generate debian package `meevax_0.5.117_amd64.deb`
+| `package`   | Generate debian package `meevax_0.5.118_amd64.deb`
 | `install`   | Copy files into `/usr/local` directly
 
 ## Usage

VERSION

@@ -1 +1 @@
-0.5.117
+0.5.118

include/meevax/memory/heterogeneous_pointer.hpp

@@ -43,7 +43,9 @@ inline namespace memory
     {
       template <typename... Us>
       explicit constexpr binder(Us&&... xs)
-        : std::conditional_t<std::is_base_of_v<Top, Bound>, Top, Bound> { std::forward<decltype(xs)>(xs)... }
+        : std::conditional_t<std::is_base_of_v<Top, Bound> and std::is_constructible_v<Top, Us...>, Top, Bound> {
+            std::forward<decltype(xs)>(xs)...
+          }
       {}
 
       ~binder() override = default;

src/kernel/exact_integer.cpp

@@ -103,7 +103,7 @@ inline namespace kernel
     if (mpz_init_set_str(value, (s.at(0) == '+' ? s.substr(1) : s).c_str(), radix))
     {
       mpz_clear(value);
-      throw std::invalid_argument("not a integer");
+      throw std::invalid_argument("not an exact-integer");
     }
   }
 

src/kernel/number.cpp

@@ -424,7 +424,7 @@ inline namespace kernel
     }
     catch (std::invalid_argument const&)
     {
-      return make(ratio(literal, radix));
+      return make<ratio>(literal, radix);
     }
   }
 
@@ -487,7 +487,7 @@ inline namespace kernel
     }
     catch (std::invalid_argument const&)
     {
-      return make(complex(literal, radix));
+      return make<complex>(literal, radix);
     }
   }