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

Make type annotations optional for for*/lists: and for*/fold:.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-06-14 17:53:00 -04:00
parent 3ff1a3320a
commit 48bf6f8290
1 changed files with 46 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

51
collects/typed-scheme/base-env/prims.rkt
View File

@ -625,22 +625,53 @@ This file defines two sorts of primitives. All of them are provided into any mod
(for*/vector: for*/vector) (for*/vector: for*/vector)
(for*/flvector: for*/flvector)) (for*/flvector: for*/flvector))
(define-for-syntax (define-for*-folding-variant name) ;; Like for/lists: and for/fold:, the inferencer can handle these correctly.
(lambda (stx) (define-syntax (for*/lists: stx)
(syntax-parse stx #:literals (:) (syntax-parse stx #:literals (:)
[(_ : ty [(_ : ty
(var ...) ((var:optionally-annotated-name) ...)
(clause:for*-clause ...) (clause:for*-clause ...)
c:expr ...) c:expr ...)
(syntax-property
(quasisyntax/loc stx (quasisyntax/loc stx
(#,name : ty (for/lists (var.ann-name ...)
(var ...)
(clause.expand ... ...) (clause.expand ... ...)
c ...))]))) c ...))
'type-ascription
;; Like for/lists: and for/fold:, the inferencer can handle these correctly. #'ty)]
(define-syntax for*/lists: (define-for*-folding-variant #'for/lists:)) [(_ ((var:annotated-name) ...)
(define-syntax for*/fold: (define-for*-folding-variant #'for/fold:)) (clause:for*-clause ...)
c:expr ...)
(syntax-property
(quasisyntax/loc stx
(for/lists (var.ann-name ...)
(clause.expand ... ...)
c ...))
'type-ascription
#'(values var.ty ...))]))
(define-syntax (for*/fold: stx)
(syntax-parse stx #:literals (:)
[(_ : ty
((var:optionally-annotated-name init:expr) ...)
(clause:for*-clause ...)
c:expr ...)
(syntax-property
(quasisyntax/loc stx
(for/fold ((var.ann-name init) ...)
(clause.expand ... ...)
c ...))
'type-ascription
#'ty)]
[(_ ((var:annotated-name init:expr) ...)
(clause:for*-clause ...)
c:expr ...)
(syntax-property
(quasisyntax/loc stx
(for/fold ((var.ann-name init) ...)
(clause.expand ... ...)
c ...))
'type-ascription
#'(values var.ty ...))]))
(define-syntax (provide: stx) (define-syntax (provide: stx)
(syntax-parse stx (syntax-parse stx