merge from trunk
[emacs.git] / admin / grammars / scheme.by
bloba433d776df59f387c343a84c0d37b2faa1843334
1 ;;; scheme.by -- Scheme BNF language specification
3 ;; Copyright (C) 2001-2013 Free Software Foundation, Inc.
5 ;; This file is part of GNU Emacs.
7 ;; GNU Emacs is free software: you can redistribute it and/or modify
8 ;; it under the terms of the GNU General Public License as published by
9 ;; the Free Software Foundation, either version 3 of the License, or
10 ;; (at your option) any later version.
12 ;; GNU Emacs is distributed in the hope that it will be useful,
13 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
14 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 ;; GNU General Public License for more details.
17 ;; You should have received a copy of the GNU General Public License
18 ;; along with GNU Emacs.  If not, see <http://www.gnu.org/licenses/>.
20 %package semantic-scm-by
21 %provide semantic/bovine/scm-by
23 %languagemode  scheme-mode
24 %start         scheme
26 %token DEFINE        "define"
27 %token DEFINE-MODULE "define-module"
28 %token LOAD          "load"
30 %put DEFINE        summary "Function: (define symbol expression)"
31 %put DEFINE-MODULE summary "Function: (define-module (name arg1 ...)) "
32 %put LOAD          summary "Function: (load \"filename\")"
34 %token <open-paren> OPENPAREN "("
35 %token <close-paren> CLOSEPAREN ")"
39 scheme : semantic-list
40          (EXPAND $1 scheme-list)
41        ;
43 scheme-list : OPENPAREN scheme-in-list CLOSEPAREN
44               ( ,$2 )
45             ;
47 scheme-in-list: DEFINE symbol expression
48                 (VARIABLE-TAG $2 nil $3 )
49               | DEFINE name-args opt-doc sequence
50                 (FUNCTION-TAG (car ,$2) nil (cdr ,$2) )
51               | DEFINE-MODULE name-args
52                 (PACKAGE-TAG (nth (length $2) $2 ) nil)
53               | LOAD string
54                 (INCLUDE-TAG (file-name-nondirectory (read $2)) (read $2) )
55               | symbol
56                 (CODE-TAG $1 nil)
57               ;
59 name-args: semantic-list
60            (EXPAND $1 name-arg-expand)
61          ;
63 name-arg-expand : open-paren name-arg-expand
64                   ( ,$2 )
65                 | symbol name-arg-expand
66                   ( ,(cons $1 ,$2) )
67                 | ;; EMPTY
68                   (  )
69                 ;
71 opt-doc : string
72         | ;; EMPTY
73         ;
75 sequence : expression sequence
76          | expression
77          ;
79 expression : symbol
80            | semantic-list
81            | string
82            | number
83            ;
85 ;;; scheme.by ends here