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

Refactor (make argument arity clear)

Browse Source 
original commit: 42fc3aeda01b987e1a60e14fe760444fc31732a4
This commit is contained in:
Asumu Takikawa 2012-11-30 15:49:05 -05:00
parent 0f0966b8f9
commit 14187b4cdd
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/typed-racket/typecheck/tc-expr-unit.rkt
View File

@ -331,8 +331,9 @@
[(tc-result1: (Continuation-Mark-Keyof: rhs))
(tc-expr/check/type #'e2 rhs)
(tc-expr/check #'e3 expected)]
[(? (λ _ (and (identifier? #'e1)
(free-identifier=? #'pz:pk #'e1))))
[(? (λ (result)
(and (identifier? #'e1)
(free-identifier=? #'pz:pk #'e1))))
(tc-expr/check/type #'e2 Univ)
(tc-expr/check #'e3 expected)]
[(tc-result1: key-t)
@ -437,8 +438,9 @@
[(tc-result1: (Continuation-Mark-Keyof: rhs))
(tc-expr/check/type #'e2 rhs)
(tc-expr #'e3)]
[(? (λ _ (and (identifier? #'e1)
(free-identifier=? #'pz:pk #'e1))))
[(? (λ (result)
(and (identifier? #'e1)
(free-identifier=? #'pz:pk #'e1))))
(tc-expr/check/type #'e2 Univ)
(tc-expr #'e3)]
[(tc-result1: key-t)