blob: bcfd506de9799fdb4b9475362fa5e5d8a23d895e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
(define-module (hnh util exceptions)
#:use-module (srfi srfi-1)
#:use-module (hnh util)
#:use-module (ice-9 format)
#:use-module ((system vm frame)
:select (frame-bindings binding-ref))
#:export (assert))
(define-public warning-handler
(make-parameter
(lambda (fmt . args)
(format #f "WARNING: ~?~%" fmt args))))
(define-public warnings-are-errors
(make-parameter #f))
;; forwards return from warning-hander. By default returns an unspecified value,
;; but instances are free to provide a proper return value and use it.
(define-public (warning fmt . args)
(display (apply (warning-handler) fmt (or args '()))
(current-error-port))
(when (warnings-are-errors)
(throw 'warning fmt args)))
(define-public (fatal fmt . args)
(display (format #f "FATAL: ~?~%" fmt (or args '()))
(current-error-port))
(raise 2)
)
(define (prettify-tree tree)
(cond [(pair? tree) (cons (prettify-tree (car tree))
(prettify-tree (cdr tree)))]
[(and (procedure? tree) (procedure-name tree))
=> identity]
[else tree]))
(define-macro (assert form)
`(unless ,form
(throw 'assertion-error "Assertion failed. ~a expected, ~a got"
(quote ,form)
((@@ (calp util exceptions) prettify-tree) (list ,form)))))
(define-public (filter-stack pred? stk)
(concatenate
(for i in (iota (stack-length stk))
(filter pred? (map binding-ref (frame-bindings (stack-ref stk i)))))))
|