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

Added plet:

Browse Source 
original commit: 9c11324cec1c6a5f3daeea6d51650747ea53a5b5
This commit is contained in:
Neil Toronto 2012-10-14 16:05:09 -04:00 committed by Vincent St-Amour
parent b3499cde19
commit 66d5992c04
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -406,6 +406,12 @@ This file defines two sorts of primitives. All of them are provided into any mod
[(let: . rest)
(syntax/loc stx (let-internal: . rest))]))
(define-syntax (plet: stx)
(syntax-parse stx #:literals (:)
[(_ (A:id ...) ([bn:optionally-annotated-name e] ...) . body)
(syntax/loc stx
((plambda: (A ...) (bn ...) . body) e ...))]))
(define-syntax (define-type-alias stx)
(syntax-parse stx
[(_ tname:id rest)