<div dir="ltr">Hi,<div><br></div><div>Although the typed racket documentation mentions Values as a type constructor, it does not work:</div><div><br></div><div><div>Welcome to DrRacket, version 6.1.0.3--2014-07-18(e827817/a) [3m].</div>

<div>Language: typed/racket; memory limit: 1024 MB.</div><div>> (define (foo) : (Values Number Number) (values 1 2))</div><div>. Type Checker: parse error in type;</div><div> type name `Values' is unbound in: Values</div>

<div>. Type Checker: wrong number of values: expected 1 but got 2 in: (values 1 2)</div><div>. Type Checker: Summary: 2 errors encountered in:</div><div>  Values</div><div>  (values 1 2)</div><div><br></div><div>OTOH, the lowercase values seems to work as a type constructor.</div>

<div><br></div><div>> (define (bar) : (values Number Number) (values 1 2))</div><div>> bar</div><div>- : (-> (values Number Number))</div><div>#<procedure:bar></div><div><br></div><div>Moreover, there is some kind of confusion between values and Values:</div>

<div><br></div><div>> (values 1 2)</div><div>- : (values Integer Integer) [more precisely: (Values One Positive-Byte)]</div><div>1</div><div>2</div><div><br></div></div><div>Am I missing something?</div><div><br></div>

<div>Best,</div><div>António.</div></div>