etc/grammars/scheme.by

   1 ;;; scheme.by -- Scheme BNF language specification
   2
   3 ;; Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009,
   4 ;;   2010, 2011, 2012 Free Software Foundation, Inc.
   5
   6 ;; This file is part of GNU Emacs.
   7
   8 ;; GNU Emacs is free software: you can redistribute it and/or modify
   9 ;; it under the terms of the GNU General Public License as published by
  10 ;; the Free Software Foundation, either version 3 of the License, or
  11 ;; (at your option) any later version.
  12
  13 ;; GNU Emacs is distributed in the hope that it will be useful,
  14 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16 ;; GNU General Public License for more details.
  17
  18 ;; You should have received a copy of the GNU General Public License
  19 ;; along with GNU Emacs.  If not, see <http://www.gnu.org/licenses/>.
  20
  21 %package semantic-scm-by
  22
  23 %languagemode  scheme-mode
  24 %start         scheme
  25
  26 %token DEFINE        "define"
  27 %token DEFINE-MODULE "define-module"
  28 %token LOAD          "load"
  29
  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\")"
  33
  34 %token <open-paren> OPENPAREN "("
  35 %token <close-paren> CLOSEPAREN ")"
  36
  37 %%
  38
  39 scheme : semantic-list
  40          (EXPAND $1 scheme-list)
  41        ;
  42
  43 scheme-list : OPENPAREN scheme-in-list CLOSEPAREN
  44               ( ,$2 )
  45             ;
  46
  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               ;
  58
  59 name-args: semantic-list
  60            (EXPAND $1 name-arg-expand)
  61          ;
  62
  63 name-arg-expand : open-paren name-arg-expand
  64                   ( ,$2 )
  65                 | symbol name-arg-expand
  66                   ( ,(cons $1 ,$2) )
  67                 | ;; EMPTY
  68                   (  )
  69                 ;
  70
  71 opt-doc : string
  72         | ;; EMPTY
  73         ;
  74
  75 sequence : expression sequence
  76          | expression
  77          ;
  78
  79 expression : symbol
  80            | semantic-list
  81            | string
  82            | number
  83            ;
  84
  85 ;;; scheme.by ends here