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

Fix inference for simple fns with ...

Browse Source 
svn: r11977

original commit: 3db02a50e168ae8f22c056919cc1413bfb1b7c73
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-08 15:34:05 +00:00
parent 5239b94d65
commit 2f7553ada9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/typecheck/tc-app-unit.ss
View File

@ -451,7 +451,7 @@
[(tc-result: (and t
(or (Poly: vars
(Function: (list (arr: doms rngs (and rests #f) (and drests #f) '() thn-effs els-effs) ...)))
(PolyDots: (list vars ... _)
(PolyDots: (list vars ...)
(Function: (list (arr: doms rngs (and rests #f) (and drests #f) '() thn-effs els-effs) ...))))))
(handle-clauses (doms rngs) f-stx
(lambda (dom _) (= (length dom) (length argtypes)))