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

Make parametric signatures work in BSL.

Browse Source
This commit is contained in:
Mike Sperber 2010-09-22 11:35:00 +02:00
parent 7304c061e3
commit 65bd667be2
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/lang/private/signature-syntax.rkt
View File

@ -10,7 +10,8 @@
(for-syntax scheme/base)
(for-syntax syntax/stx)
(for-syntax stepper/private/shared)
(only-in lang/private/teachprims beginner-equal?))
(only-in lang/private/teachprims beginner-equal?)
(for-syntax "firstorder.rkt"))
(define-for-syntax (phase-lift stx)
(with-syntax ((?stx stx))
@ -128,10 +129,12 @@
(parse-signature #f sig))
(syntax->list #'(?signature ...)))))
(with-syntax
((?call (syntax/loc stx (?signature-abstr ?signature-expr ...))))
((?call (syntax/loc stx (?signature-abstr ?signature-expr ...)))
(?signature-abstr-ho (first-order->higher-order #'?signature-abstr)))
#'(make-call-signature '?name
(delay ?call)
(delay ?signature-abstr) (delay (list ?signature-expr ...))
(delay ?signature-abstr-ho)
(delay (list ?signature-expr ...))
?stx))))
(else
(raise-syntax-error 'signature