diff options
author | Ludovic Court`es | 2005-11-28 16:41:24 +0000 |
---|---|---|
committer | Ludovic Court`es | 2005-11-28 16:41:24 +0000 |
commit | 4686c3d129e4ebb3edc97e53a20a5f9db682f993 (patch) | |
tree | 89d05c18ea5b9106b965b122a809ff2a0997878e /src/guile/skribilo/verify.scm | |
parent | 559d3f64f4b051a39c91a3d53d3b41deee8ae42f (diff) | |
download | skribilo-4686c3d129e4ebb3edc97e53a20a5f9db682f993.tar.gz skribilo-4686c3d129e4ebb3edc97e53a20a5f9db682f993.tar.lz skribilo-4686c3d129e4ebb3edc97e53a20a5f9db682f993.zip |
More `%skribilo-module-reader' fixes.
* src/guile/skribilo.scm: Removed the executable bit.
* configure.ac: Produce `src/guile/skribilo/utils/Makefile'.
* src/guile/skribilo.scm: Call `set-current-reader' after the
`use-modules' clause.
(process-option-specs): Use `:kw'-style keywords.
(*skribilo-output-port*): New.
(doskribe): Use the above fluid.
(main): Honor the `-o' option.
* src/guile/skribilo/debug.scm: Use `(skribilo utils syntax)' and
`%skribilo-module-reader'.
* src/guile/skribilo/module.scm: Likewise.
* src/guile/skribilo/output.scm: Likewise.
* src/guile/skribilo/resolve.scm: Likewise.
* src/guile/skribilo/verify.scm: Likewise.
* src/guile/skribilo/parameters.scm (make-expect): New.
(define-number-parameter): New.
(define-list-parameter): New.
* src/guile/skribilo/utils/Makefile.am (guilemoduledir): Fixed.
* src/guile/skribilo/evaluator.scm (%evaluate): Commented out debugging
statement.
git-archimport-id: lcourtes@laas.fr--2004-libre/skribilo--devel--1.2--patch-14
Diffstat (limited to 'src/guile/skribilo/verify.scm')
-rw-r--r-- | src/guile/skribilo/verify.scm | 59 |
1 files changed, 30 insertions, 29 deletions
diff --git a/src/guile/skribilo/verify.scm b/src/guile/skribilo/verify.scm index aa2dd78..f407c87 100644 --- a/src/guile/skribilo/verify.scm +++ b/src/guile/skribilo/verify.scm @@ -1,42 +1,41 @@ -;;;; -;;;; verify.stk -- Skribe Verification Stage -;;;; -;;;; Copyright © 2003-2004 Erick Gallesio - I3S-CNRS/ESSI <eg@unice.fr> -;;;; -;;;; -;;;; This program is free software; you can redistribute it and/or modify -;;;; it under the terms of the GNU General Public License as published by -;;;; the Free Software Foundation; either version 2 of the License, or -;;;; (at your option) any later version. -;;;; -;;;; This program 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 General Public License for more details. -;;;; -;;;; You should have received a copy of the GNU General Public License -;;;; along with this program; if not, write to the Free Software -;;;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, -;;;; USA. -;;;; -;;;; Author: Erick Gallesio [eg@essi.fr] -;;;; Creation date: 13-Aug-2003 11:57 (eg) -;;;; Last file update: 27-Oct-2004 16:35 (eg) -;;;; +;;; verify.scm -- Skribe AST verification. +;;; +;;; Copyright 2003-2004 Erick Gallesio - I3S-CNRS/ESSI <eg@unice.fr> +;;; Copyright 2005 Ludovic Courtès <ludovic.courtes@laas.fr> +;;; +;;; +;;; This program is free software; you can redistribute it and/or modify +;;; it under the terms of the GNU General Public License as published by +;;; the Free Software Foundation; either version 2 of the License, or +;;; (at your option) any later version. +;;; +;;; This program 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 General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with this program; if not, write to the Free Software +;;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, +;;; USA. (define-module (skribilo verify) - :export (verify)) + :autoload (skribilo engine) (engine-ident) + :autoload (skribilo writer) (writer? writer-options lookup-markup-writer) + :autoload (skribilo lib) (skribe-warning/ast skribe-warning + skribe-error) + :export (verify)) (use-modules (skribilo debug) - (skribilo engine) - (skribilo writer) (skribilo runtime) (skribilo ast) - (skribilo lib) ;; `when', `unless' + (skribilo utils syntax) (oop goops)) +(set-current-reader %skribilo-module-reader) + (define-generic verify) ;;; @@ -158,3 +157,5 @@ (slot-ref e 'customs)) node) + +;;; verify.scm ends here
\ No newline at end of file |