;;; 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 (language acl2 spec)
  #:use-module (language acl2 compile-tree-il)
  #:use-module (language acl2 parse)
  #:use-module (system base language)
  #:export (acl2))

(define-language acl2
  #:title	"ACL2"
  #:reader	(lambda (port env) (read-acl2 port))
  #:compilers	`((tree-il . ,compile-tree-il))
  #:printer	write)