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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
#| Copyright (C) 2025 Peter McGoron
|
| Permission is hereby granted, free of charge, to any person obtaining a
| copy of this software and associated documentation files (the
| "Software"), to deal in the Software without restriction, including
| without limitation the rights to use, copy, modify, merge, publish,
| distribute, sublicense, and/or sell copies of the Software, and to
| permit persons to whom the Software is furnished to do so, subject to
| the following conditions:
|
| The above copyright notice and this permission notice (including the
| next paragraph) shall be included in all copies or substantial portions
| of the Software.
|
| THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
| OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
| MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
| IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
| CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
| TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
| SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|#
(define-library (srfi 259)
(import (scheme base) (scheme write)
integer-map
(chicken base)
(chicken foreign)
(chicken condition)
(chicken fixnum))
(export define-procedure-tag)
(include "lowlevel.scm")
(begin
(define is-type? (condition-predicate 'type))
(define-syntax define-procedure-tag
(syntax-rules ()
((define-procedure-tag constructor predicate? accessor)
;; Hygiene is broken here on CHICKEN, because `id` is not renamed
;; here. It needs to be lexical, not global.
(begin
(define constructor #f)
(define predicate? #f)
(define accessor #f)
(let ((id (unique-id)))
(set! constructor
(lambda (tag proc)
(handle-exceptions E (abort
(make-composite-condition
(make-property-condition
'exn
'location
(quote accessor)
'arguments
(list proc)
'message
"not a procedure")
E))
(set-tagged-mapping proc id tag))))
(set! predicate?
(lambda (proc)
(cond
((not (procedure? proc)) #f)
((get-mapping proc) => (cut fxmapping-contains? <> id))
(else #f))))
(set! accessor
(lambda (proc)
(define map
(handle-exceptions E (abort
(make-composite-condition
(make-property-condition
'exn
'location
(quote accessor)
'arguments
(list proc)
'message
"not a procedure")
E))
(get-mapping proc)))
(define (raise-error)
(abort
(make-composite-condition
(make-property-condition 'exn
'location
(quote accessor)
'arguments
(list proc)
'message
"tag was not found")
(make-property-condition 'assertion
'tag))))
(if map
(fxmapping-ref map id raise-error)
(raise-error)))))))))))
|
