suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Implemented contract for immutable id-tables.

Browse Source
This commit is contained in:
Eric Dobson 2012-06-23 23:33:42 -07:00 committed by Ryan Culpepper
parent 8f8bc76e39
commit 4725775126
2 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/syntax/id-table.rkt
View File

@ -73,6 +73,8 @@
[idtbl-for-each (s '-for-each)]
[idtbl-mutable-methods (s '-mutable-methods)]
[idtbl-immutable-methods (s '-immutable-methods)]
[idtbl-chaperone-keys+values/constructor
(s 'idtbl-chaperone-keys+values/constructor)]
[idtbl/c (s '/c)])
#'(begin
@ -187,7 +189,8 @@
(lambda (tbl)
(check-idtbl/c ctc tbl blame)
(if (immutable? tbl)
(error 'idtbl/c "Not Yet implemented")
(idtbl-chaperone-keys+values/constructor
tbl pos-dom-proj pos-rng-proj immutable-idtbl)
(chaperone-idtbl tbl
(λ (t k)
(values (neg-dom-proj k)

12
collects/syntax/private/id-table.rkt
View File

@ -264,7 +264,9 @@ Notes (FIXME?):
[idtbl-map (s '-map)]
[idtbl-for-each (s '-for-each)]
[idtbl-mutable-methods (s '-mutable-methods)]
[idtbl-immutable-methods (s '-immutable-methods)])
[idtbl-immutable-methods (s '-immutable-methods)]
[idtbl-chaperone-keys+values/constructor
(s 'idtbl-chaperone-keys+values/constructor)])
#'(begin
;; Struct defs at end, so that dict methods can refer to earlier procs
@ -316,6 +318,13 @@ Notes (FIXME?):
(define (idtbl-iterate-value d pos)
(id-table-iterate-value 'idtbl-iterate-value d pos))
(define (idtbl-chaperone-keys+values/constructor d wrap-key wrap-value constructor)
(constructor
(for/hasheq (((sym alist) (idtbl-hash d)))
(for/list (((key value) (in-dict alist)))
(cons (wrap-key key) (wrap-value value))))
(idtbl-phase d)))
(define idtbl-mutable-methods
(vector-immutable idtbl-ref
idtbl-set!
@ -366,6 +375,7 @@ Notes (FIXME?):
;; just for use/extension by syntax/id-table
chaperone-idtbl
idtbl-chaperone-keys+values/constructor
idtbl-set/constructor
idtbl-remove/constructor
idtbl-mutable-methods