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

fix named let: errors

Browse Source 
closes PR 13806

Still to do: document the subtleties of ~and w/ error reporting.

original commit: 504c7a89576f31aa25012cf4351cd3ff42c94895
This commit is contained in:
Ryan Culpepper 2013-10-11 11:30:48 -04:00
parent c93a0b3921
commit 2f5d5f4129
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -460,9 +460,9 @@ This file defines two sorts of primitives. All of them are provided into any mod
(define-syntax (let: stx)
(syntax-parse stx #:literals (:)
[(let: nm:id ~! ; named let:
(~and (~seq rest ...)
(~seq (~optional (~seq : ret-ty))
(bs:optionally-annotated-binding ...) body ...)))
(~and (~seq (~optional (~seq : ret-ty))
(bs:optionally-annotated-binding ...) body ...)
(~seq rest ...)))
(quasisyntax/loc stx
(#,(syntax-parse #'(rest ...)
#:literals (:)