From 66d5992c049b959f2290c55b63e191c7859fc4c3 Mon Sep 17 00:00:00 2001 From: Neil Toronto Date: Sun, 14 Oct 2012 16:05:09 -0400 Subject: [PATCH] Added plet: original commit: 9c11324cec1c6a5f3daeea6d51650747ea53a5b5 --- collects/typed-racket/base-env/prims.rkt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/collects/typed-racket/base-env/prims.rkt b/collects/typed-racket/base-env/prims.rkt index afb906c7..bb8f7108 100644 --- a/collects/typed-racket/base-env/prims.rkt +++ b/collects/typed-racket/base-env/prims.rkt @@ -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)