build: Separate Mes and Guile modules.
[mes.git] / mes / module / mes / catch.mes
1 ;;; -*-scheme-*-
2
3 ;;; Mes --- Maxwell Equations of Software
4 ;;; Copyright © 2016,2018 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
5 ;;;
6 ;;; This file is part of Mes.
7 ;;;
8 ;;; Mes is free software; you can redistribute it and/or modify it
9 ;;; under the terms of the GNU General Public License as published by
10 ;;; the Free Software Foundation; either version 3 of the License, or (at
11 ;;; your option) any later version.
12 ;;;
13 ;;; Mes is distributed in the hope that it will be useful, but
14 ;;; 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 Mes.  If not, see <http://www.gnu.org/licenses/>.
20
21 (mes-use-module (mes let))
22 (mes-use-module (mes fluids))
23
24 (define %eh (make-fluid
25              (lambda (key . args)
26                (if #f ;;(defined? 'simple-format)
27                    (simple-format (current-error-port) "unhandled exception:~a:~a\n" key args)
28                    (begin
29                      (core:display-error "unhandled exception:")
30                      (core:display-error key)
31                      (core:display-error ":")
32                      (core:write-error args)
33                      (core:display-error "\n")))
34                (exit 1))))
35
36 (define (catch key thunk handler)
37   (let ((previous-eh (fluid-ref %eh)))
38     (with-fluid*
39         %eh #f
40         (lambda ()
41           (call/cc
42            (lambda (cc)
43              (fluid-set! %eh
44                          (lambda (k . args)
45                            (let ((handler (if (or (eq? key #t) (eq? key k)) handler
46                                               previous-eh)))
47                              (cc
48                               (lambda (x)
49                                 (apply handler (cons k args)))))))
50              (thunk)))))))
51
52 (define (throw key . args)
53   (let ((handler (fluid-ref %eh)))
54     (apply handler (cons key args))))
55
56 (define with-throw-handler catch) ; FIXME: hack for Nyacc 0.75