tests: Move (ice-9 syncase) into cond-expand.
[mes.git] / scripts / nyacc-calc.mes
1 #! /bin/sh
2 # -*-scheme-*-
3 MES_ARENA=${MES_ARENA-50000000}
4 export MES_ARENA
5 prefix=module/
6 cat $prefix/mes/base-0.mes $0 | $(dirname $0)/mes $MES_FLAGS "$@"
7 # |
8 exit $?
9 !#
10
11 ;;; Mes --- Maxwell Equations of Software
12 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
13 ;;;
14 ;;; This file is part of Mes.
15 ;;;
16 ;;; Mes is free software; you can redistribute it and/or modify it
17 ;;; under the terms of the GNU General Public License as published by
18 ;;; the Free Software Foundation; either version 3 of the License, or (at
19 ;;; your option) any later version.
20 ;;;
21 ;;; Mes is distributed in the hope that it will be useful, but
22 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
23 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
24 ;;; GNU General Public License for more details.
25 ;;;
26 ;;; You should have received a copy of the GNU General Public License
27 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
28
29 ;;; Commentary:
30
31 ;;; nyacc-calc.mes
32 ;;;
33 ;;; Run with Guile:
34 ;;;    guile/nyacc-calc.scm
35
36 ;;; Code:
37
38 (mes-use-module (mes scm))
39 (mes-use-module (srfi srfi-9-psyntax))
40 (mes-use-module (mes optargs))
41 (mes-use-module (mes fluids))
42 (mes-use-module (mes catch))
43
44 (mes-use-module (mes guile))
45 (mes-use-module (mes pretty-print))
46
47 (mes-use-module (nyacc lalr))
48 (mes-use-module (nyacc lex))
49 (mes-use-module (nyacc parse))
50
51 ;; (define-module (nyacc)
52 ;;   #:use-module (nyacc lalr)
53 ;;   #:use-module (nyacc lex)
54 ;;   #:use-module (nyacc parse)
55 ;;   #:use-module (ice-9 rdelim)
56 ;;   #:use-module (ice-9 pretty-print)
57 ;;   #:export (main))
58
59 (define simple-spec
60   (lalr-spec
61    (prec< (left "+" "-") (left "*" "/"))
62    (start expr)
63    (grammar
64     (expr
65      (expr "+" expr ($$ (+ $1 $3)))
66      (expr "-" expr ($$ (- $1 $3)))
67      (expr "*" expr ($$ (* $1 $3)))
68      (expr "/" expr ($$ (/ $1 $3)))
69      ("*" $error)
70      ($fixed ($$ (string->number $1)))
71      ($float ($$ (string->number $1)))
72      ("(" expr ")" ($$ $2))))))
73
74 (define simple-mach (make-lalr-machine simple-spec))
75
76 ;; OR
77 ;; (use-modules (nyacc bison))
78 ;; (define simple-mach (make-lalr-machine/bison simple-spec))
79
80 (define match-table (assq-ref simple-mach 'mtab))
81
82 (define gen-lexer (make-lexer-generator match-table))
83
84 (define parse (make-lalr-parser simple-mach))
85
86 (define demo-string "2 + 2")
87
88 (define (main arguments)
89   (display demo-string)
90   (display " => ")
91   (display (with-input-from-string demo-string
92              (lambda () (parse (gen-lexer)))))
93   (newline))
94 (main #f)
95 ()