From d4508939c88c5a896fb6b73358c0e89913af0b70 Mon Sep 17 00:00:00 2001
From: yamacir-kit <httperror@404-notfound.jp>
Date: Tue, 3 Oct 2023 00:47:49 +0900
Subject: [PATCH] Update procedure `exact?` to built-in

Signed-off-by: yamacir-kit <httperror@404-notfound.jp>
---
 README.md     |  6 +++---
 VERSION       |  2 +-
 basis/r4rs.ss | 10 +---------
 3 files changed, 5 insertions(+), 13 deletions(-)

diff --git a/README.md b/README.md
index f1c405c0e..d2c054188 100644
--- a/README.md
+++ b/README.md
@@ -99,7 +99,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.6_amd64.deb
+sudo apt install build/meevax_0.5.7_amd64.deb
 ```
 
 or
@@ -131,9 +131,9 @@ sudo rm -rf /usr/local/share/meevax
 
 | Target Name | Description
 |-------------|-------------
-| `all`       | Build shared-library `libmeevax.0.5.6.so` and executable `meevax`
+| `all`       | Build shared-library `libmeevax.0.5.7.so` and executable `meevax`
 | `test`      | Test executable `meevax`
-| `package`   | Generate debian package `meevax_0.5.6_amd64.deb`
+| `package`   | Generate debian package `meevax_0.5.7_amd64.deb`
 | `install`   | Copy files into `/usr/local` directly
 
 ## Usage
diff --git a/VERSION b/VERSION
index b49b25336..d3532a107 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.5.6
+0.5.7
diff --git a/basis/r4rs.ss b/basis/r4rs.ss
index e0d601a0b..550cb0aa3 100644
--- a/basis/r4rs.ss
+++ b/basis/r4rs.ss
@@ -51,6 +51,7 @@
                 real?
                 rational?
                 integer?
+                exact?
                 = < > <= >=
                 + * - /
                 abs
@@ -331,15 +332,6 @@
                        (car alist)
                        (assoc (cdr alist)))))))
 
-         (define (exact? z)
-           (define (exact-complex? x)
-             (and (imaginary? x)
-                  (exact? (real-part x))
-                  (exact? (imag-part x))))
-           (or (exact-complex? z)
-               (ratio? z)
-               (exact-integer? z)))
-
          (define (inexact? z)
            (define (inexact-complex? x)
              (and (imaginary? x)