From 09234dc12f39b5c0619593420c7c4185efcd7e71 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 31 Mar 2021 03:31:08 +0900
Subject: Add acl2 parser test.

* tests/test-parse-acl2.scm: New file.
* Makefile.am (TESTS): Add tests/test-parse-acl2.scm file.
---
 Makefile.am               |  1 +
 tests/test-parse-acl2.scm | 33 +++++++++++++++++++++++++++++++++
 2 files changed, 34 insertions(+)
 create mode 100644 tests/test-parse-acl2.scm

diff --git a/Makefile.am b/Makefile.am
index 90f7bcd..9d24cb5 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -48,6 +48,7 @@ SOURCES =                            \
   language/acl2/compile-tree-il.scm
 
 TESTS =                        \
+  tests/test-parse-acl2.scm    \
   tests/test-compile-acl2.scm
 
 TEST_EXTENSIONS = .scm
diff --git a/tests/test-parse-acl2.scm b/tests/test-parse-acl2.scm
new file mode 100644
index 0000000..5d42a6e
--- /dev/null
+++ b/tests/test-parse-acl2.scm
@@ -0,0 +1,33 @@
+;;; Guile-ACL2 --- Guile's ACL2 compiler
+;;; Copyright © 2021 Masaya Tojo <masaya@tojo.tokyo>
+;;;
+;;; This file is part of Guile-ACL2.
+;;;
+;;; Guile-ACL2 is free software; you can redistribute it and/or modify
+;;; it under the terms of the GNU Lesser General Public License as
+;;; published by the Free Software Foundation; either version 3 of the
+;;; License, or (at your option) any later version.
+;;;
+;;; Guile-ACL2 is distributed in the hope that it will be useful, but
+;;; WITHOUT ANY WARRANTY; without even the implied warranty of
+;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+;;; Lesser General Public License for more details.
+;;;
+;;; You should have received a copy of the GNU Lesser General Public
+;;; License along with Guile-ACL2.  If not, see
+;;; <http://www.gnu.org/licenses/>.
+
+(define-module (tests parse-acl2)
+  #:use-module (srfi srfi-64)
+  #:use-module (language acl2 parse))
+
+(define (read-acl2-string str)
+  (call-with-input-string str read-acl2))
+
+(test-begin "test-parse-acl2")
+
+(test-equal "parse-simple-list"
+  '(A COMPUTATIONAL LOGIC FOR APPLICATIVE COMMON LISP)
+  (read-acl2-string "(A Computational Logic for Applicative Common Lisp)"))
+
+(test-end "test-parse-acl2")
-- 
cgit v1.2.3