From bfbba3f0bf4fbc7fe979601dc893a3232d9f431c Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Fri, 12 Apr 2013 18:23:57 -0400 Subject: [PATCH] fix typed racket named let: error when there are no binding types closes PR 13691 include in release (cherry picked from commit b3ba324a9263bb3b170cac8476b58f1217f381c5) --- collects/tests/typed-racket/succeed/pr13691.rkt | 3 +++ collects/typed-racket/base-env/prims.rkt | 4 ++-- 2 files changed, 5 insertions(+), 2 deletions(-) create mode 100644 collects/tests/typed-racket/succeed/pr13691.rkt diff --git a/collects/tests/typed-racket/succeed/pr13691.rkt b/collects/tests/typed-racket/succeed/pr13691.rkt new file mode 100644 index 0000000000..d26cdfbdc3 --- /dev/null +++ b/collects/tests/typed-racket/succeed/pr13691.rkt @@ -0,0 +1,3 @@ +#lang typed/racket + +(let: loop : Integer ([b #t]) 3) diff --git a/collects/typed-racket/base-env/prims.rkt b/collects/typed-racket/base-env/prims.rkt index 2cc3209f81..9548b17f4f 100644 --- a/collects/typed-racket/base-env/prims.rkt +++ b/collects/typed-racket/base-env/prims.rkt @@ -428,10 +428,10 @@ This file defines two sorts of primitives. All of them are provided into any mod #,(quasisyntax/loc stx (lambda (bs.ann-name ...) . #,(syntax/loc stx body)))]) #,(quasisyntax/loc stx nm)))] - [(: ret-ty (bs:optionally-annotated-binding ...) . body) + [(: ret-ty (bs:optionally-annotated-binding ...) body ... bod) (quasisyntax/loc stx (letrec ([nm #,(quasisyntax/loc stx - (lambda (bs.ann-name ...) . (ann #,(syntax/loc stx body) ret-ty)))]) + (lambda (bs.ann-name ...) body ... (ann #,(syntax/loc stx bod) ret-ty)))]) #,(quasisyntax/loc stx nm)))] [((bs:optionally-annotated-binding ...) . body) (quasisyntax/loc stx