Add Nyacc example scripts.
[mes.git] / guile / nyacc-calc.scm
1 #! /bin/sh
2 # -*-scheme-*-
3 exec guile -L $(pwd)/module -e '(nyacc)' -s "$0" "$@"
4 !#
5
6 ;;; Mes --- The Maxwell Equations of Software
7 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
8 ;;;
9 ;;; This file is part of GNU Guix.
10 ;;;
11 ;;; Mes is free software; you can redistribute it and/or modify it
12 ;;; under the terms of the GNU General Public License as published by
13 ;;; the Free Software Foundation; either version 3 of the License, or (at
14 ;;; your option) any later version.
15 ;;;
16 ;;; Mes is distributed in the hope that it will be useful, but
17 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
18 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
19 ;;; GNU General Public License for more details.
20 ;;;
21 ;;; You should have received a copy of the GNU General Public License
22 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
23
24 ;; The Maxwell Equations of Software -- John McCarthy page 13
25 ;; http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf
26
27 ;; Tcalc.scm - calculator
28 ;;
29 ;; Copyright (C) 2015 Matthew R. Wette
30 ;; 
31 ;; Copying and distribution of this file, with or without modification,
32 ;; are permitted in any medium without royalty provided the copyright
33 ;; notice and this notice are preserved.  This file is offered as-is,
34 ;; without any warranty.
35
36 (define-module (nyacc)
37   #:use-module (nyacc lalr)
38   #:use-module (nyacc lex)
39   #:use-module (nyacc parse)
40   #:use-module (ice-9 rdelim)
41   #:use-module (ice-9 pretty-print)
42   #:export (main))
43
44 (define simple-spec
45   (lalr-spec
46    (prec< (left "+" "-") (left "*" "/"))
47    (start expr)
48    (grammar
49     (expr
50      (expr "+" expr ($$ (+ $1 $3)))
51      (expr "-" expr ($$ (- $1 $3)))
52      (expr "*" expr ($$ (* $1 $3)))
53      (expr "/" expr ($$ (/ $1 $3)))
54      ("*" $error)
55      ($fixed ($$ (string->number $1)))
56      ($float ($$ (string->number $1)))
57      ("(" expr ")" ($$ $2))))))
58
59 (define simple-mach (make-lalr-machine simple-spec))
60 ;; OR
61 ;; (use-modules (nyacc bison))
62 ;; (define simple-mach (make-lalr-machine/bison simple-spec))
63
64 (define match-table (assq-ref simple-mach 'mtab))
65
66 (define gen-lexer (make-lexer-generator match-table))
67
68 (define parse (make-lalr-parser simple-mach))
69
70 (define demo-string "2 + 2")
71
72 (define (main arguments)
73   (display demo-string)
74   (display " => ")
75   (display (with-input-from-string demo-string
76              (lambda () (parse (gen-lexer)))))
77   (newline))