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

Make for: not allow multiple annotations.

Browse Source 
original commit: 6195de66a6ad28451a2391e803124bed8a6c9abc
This commit is contained in:
Eric Dobson 2013-05-27 10:11:44 -07:00
parent 77762e7742
commit 24218c4ea4
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
View File

@ -803,7 +803,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
(syntax-parse stx #:literals (: Void)
;; the annotation is not necessary (always of Void type), but kept
;; for consistency with the other for: macros
[(_ (~seq : Void) ...
[(_ (~optional (~seq : Void))
;; c is not always an expression, could be a break-clause
clauses c ...) ; no need to annotate the type, it's always Void
(let ((body #`(; break-clause ...

6
pkgs/typed-racket-pkgs/typed-racket-tests/tests/typed-racket/fail/for-multiple-annotations.rkt Normal file
View File

@ -0,0 +1,6 @@
#;
(exn-pred "bad syntax")
#lang typed/racket/base
(for: : Void : Void ((i 5))
(displayln i))