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

Ignore duplicate signature declarations.

Browse Source
This commit is contained in:
Mike Sperber 2010-10-08 11:50:17 +02:00
parent 87da2f35b9
commit 91590040dc
2 changed files with 20 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/deinprogramm/signature/module-begin.rkt
View File

@ -48,11 +48,16 @@
(raise-syntax-error #f
"Nach dem : sollte ein Bezeichner stehen; da steht was anderes."
#'?id))
(when (bound-identifier-mapping-get table #'?id (lambda () #f))
(raise-syntax-error #f
"Zweite Signaturdeklaration für denselben Namen."
maybe))
(bound-identifier-mapping-put! table #'?id #'?cnt)
(cond
((bound-identifier-mapping-get table #'?id (lambda () #f))
=> (lambda (old-cnt-stx)
(unless (equal? (syntax->datum old-cnt-stx)
(syntax->datum #'?cnt))
(raise-syntax-error #f
"Zweite Signaturdeklaration für denselben Namen."
maybe))))
(else
(bound-identifier-mapping-put! table #'?id #'?cnt)))
#f))
((: ?id)
(raise-syntax-error #f "Bei dieser Signaturdeklaration fehlt die Signatur" maybe))

15
collects/lang/private/teach-module-begin.rkt
View File

@ -55,11 +55,16 @@
#'?id))
(let ((real-id (first-order->higher-order #'?id)))
(when (bound-identifier-mapping-get table real-id (lambda () #f))
(raise-syntax-error #f
"Second signature declaration for the same name."
maybe))
(bound-identifier-mapping-put! table real-id #'?cnt)
(cond
((bound-identifier-mapping-get table real-id (lambda () #f))
=> (lambda (old-cnt-stx)
(unless (equal? (syntax->datum old-cnt-stx)
(syntax->datum #'?cnt))
(raise-syntax-error #f
"Second signature declaration for the same name."
maybe))))
(else
(bound-identifier-mapping-put! table real-id #'?cnt)))
#f)))
((: ?id)
(raise-syntax-error #f "Signature declaration is missing a signature." maybe))