c5bb0e753d
Fix values->tc-results for ValuesDots Don't generate problematic nested lists. Fix stupid typo. Parsing of tc-results now doesn't use parsing of values, which does something different. svn: r14713 original commit: 9c538764dcd499d9b8a04b415a88835ccd55f1c9
14 lines
438 B
Scheme
14 lines
438 B
Scheme
#lang typed-scheme
|
|
|
|
(: f (Number String -> Number))
|
|
(define (f x z) (f x z))
|
|
(lambda: ([x : Any] [y : Any]) (values (number? y) (number? x)))
|
|
(lambda: ([x : Any] [y : Any]) (values (number? x) (number? y)))
|
|
(lambda: ([x : Any] [y : Any]) (values (and (number? x) (boolean? y)) (number? y)))
|
|
(lambda: ([x : Any]) (values (number? x) (number? x)))
|
|
(: g (Any -> Boolean : Number))
|
|
(define g (lambda: ([x : Any]) (number? x)))
|
|
|
|
;(f 12 "hi")
|
|
|