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

Unbreak signatures for BSL.

Browse Source
This commit is contained in:
Mike Sperber 2010-09-17 17:52:43 +02:00
parent 232a580e53
commit 8bc95ace01
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -13,6 +13,8 @@
(for-syntax syntax/boundmap) (for-syntax syntax/boundmap)
(for-syntax syntax/kerncase)) (for-syntax syntax/kerncase))
(require (for-syntax "firstorder.ss"))
(define-syntax (print-results stx) (define-syntax (print-results stx)
(syntax-case stx () (syntax-case stx ()
((_ expr) ((_ expr)
@ -46,13 +48,13 @@
(filter (lambda (maybe) (filter (lambda (maybe)
(syntax-case maybe (:) (syntax-case maybe (:)
((: ?id ?cnt) ((: ?id ?cnt)
(identifier? #'id) (identifier? #'?id)
(begin (let ((real-id (first-order->higher-order #'?id)))
(when (bound-identifier-mapping-get table #'?id (lambda () #f)) (when (bound-identifier-mapping-get table real-id (lambda () #f))
(raise-syntax-error #f (raise-syntax-error #f
"Second signature declaraton for the same name." "Second signature declaraton for the same name."
maybe)) maybe))
(bound-identifier-mapping-put! table #'?id #'?cnt) (bound-identifier-mapping-put! table real-id #'?cnt)
#f)) #f))
((: ?id) ((: ?id)
(raise-syntax-error 'signatures "Signature declaration is missing a signature." maybe)) (raise-syntax-error 'signatures "Signature declaration is missing a signature." maybe))