Since this is now in a different loc, need to fix up the require.

This commit is contained in:
Sam Tobin-Hochstadt 2008-07-07 12:56:19 -04:00
parent 3dbf0f7ccc
commit 2714b3a84a

View File

@ -1,6 +1,6 @@
#lang typed-scheme
(require "private/extra-procs.ss")
(require typed-scheme/private/extra-procs)
(call-with-values (lambda () (values 1 2)) (lambda: ([x : Number] [y : Number]) (+ x y)))