From 49d98d1c13adf18c7296a17972c1a2b10bdcbb84 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 19 Sep 2013 08:59:27 -0700 Subject: [PATCH] Remove support for multiple rhs which can never happen. original commit: 747542b2447b3583ce5eb6391a7cbbfa63ddad2f --- .../typed-racket-lib/typed-racket/optimizer/unboxed-let.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/unboxed-let.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/unboxed-let.rkt index d7a81fa1..956ba781 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/unboxed-let.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/unboxed-let.rkt @@ -45,7 +45,7 @@ #:literal-sets (kernel-literals) #:attributes (opt) (pattern - (letk:let-like-keyword ((~and clause (lhs rhs ...)) ...) + (letk:let-like-keyword ((~and clause (lhs rhs)) ...) body:opt-expr ...) ;; we look for bindings of complexes that are not mutated and only ;; used in positions where we would unbox them @@ -74,7 +74,7 @@ (and ;; if the function escapes, we can't change its interface (not (is-var-mutated? fun-name)) - (not (escapes? fun-name #'(begin rhs ... ...) #f)) + (not (escapes? fun-name #'(begin rhs ...) #f)) (not (escapes? fun-name #'(begin body ...) let-loop?)) (match (type-of (cadr p)) ; rhs, we want a lambda [(tc-result1: (Function: (list (arr: doms rngs