mflatt/plai-typed — pull request #6 by jbclements (2014-05-07 21:51:53+00:00)
Title: add support for type-annotations in define-values

Based on the docs, it looks like the

(define-values ([a : number] [b : number]) (values 3 4))

...should work correctly. Currently, though, it doesn't; it looks like it just wasn't implemented. I believe this pull request adds tests and fixes the problem.

(Problem reported by @iondune )