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

Remove support for multiple rhs which can never happen.

Browse Source 
original commit: 747542b2447b3583ce5eb6391a7cbbfa63ddad2f
This commit is contained in:
Eric Dobson 2013-09-19 08:59:27 -07:00
parent bb230e0939
commit 49d98d1c13
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/unboxed-let.rkt
View File

@ -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