www

commit 2e038565894531a9cfb1bc6c930583bfad23b153
parent 02fbf9f6d5a44dd248a8493f0b5b939aef2e7af0
Author: Milo Turner <iitalics@gmail.com>
Date:   Thu, 23 Mar 2017 17:29:47 +0000

Listed #:as keyword available in define-primop

Diffstat:
M
turnstile/scribblings/reference.scrbl
 | 
4
+++-

1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/turnstile/scribblings/reference.scrbl b/turnstile/scribblings/reference.scrbl
@@ -238,7 +238,9 @@ A @racket[syntax-parse]-like form that supports
 @defform*[((define-primop typed-op-id τ)
            (define-primop typed-op-id : τ)
            (define-primop typed-op-id op-id τ)
-           (define-primop typed-op-id op-id : τ))]{
+           (define-primop typed-op-id op-id : τ)
+           (define-primop typed-op-id #:as op-id τ)
+           (define-primop typed-op-id #:as op-id : τ))]{
 Defines @racket[typed-op-id] by attaching type @racket[τ] to (untyped) 
 identifier @racket[op-id], e.g.: