aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-03-30 03:39:27 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-03-30 03:54:02 +0900
commite57bf57ed343a957568440ab4258b6c071962638 (patch)
treef586fc6a24f39b4accba48f50a8b5b6ba99dc9de
parente7f9256c096ca8975738ceeb3dad0b841ca434e3 (diff)
* tests/test-compile-acl2.scm: New file. * Makefile.am (TESTS): Add `tests/test-compile-acl2.scm` file.
-rw-r--r--Makefile.am3
-rw-r--r--tests/test-compile-acl2.scm30
2 files changed, 32 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am
index 3d99308..90f7bcd 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -47,7 +47,8 @@ SOURCES = \
language/acl2/parse.scm \
language/acl2/compile-tree-il.scm
-TESTS =
+TESTS = \
+ tests/test-compile-acl2.scm
TEST_EXTENSIONS = .scm
diff --git a/tests/test-compile-acl2.scm b/tests/test-compile-acl2.scm
new file mode 100644
index 0000000..bc1f1ea
--- /dev/null
+++ b/tests/test-compile-acl2.scm
@@ -0,0 +1,30 @@
+;;; 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 vikalpa)
+ #:use-module (srfi srfi-64)
+ #:use-module (system base compile))
+
+(test-begin "test-compile-acl2")
+
+(test-equal "symbol-acl2"
+ 'acl2
+ (compile ''acl2 #:from 'acl2))
+
+(test-end "test-compile-acl2")