From 97847c32c4dd3d55baa3ff2b7a5ac9f7ed0b83fe Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 11 Jun 2008 11:41:46 -0400 Subject: [PATCH] Added new test for constraint solving on starred functions with different fixed arg lengths. --- collects/tests/typed-scheme/succeed/star-sizes.ss | 6 ++++++ collects/tests/typed-scheme/unit-tests/infer-tests.ss | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) create mode 100644 collects/tests/typed-scheme/succeed/star-sizes.ss diff --git a/collects/tests/typed-scheme/succeed/star-sizes.ss b/collects/tests/typed-scheme/succeed/star-sizes.ss new file mode 100644 index 0000000000..6d04d7488f --- /dev/null +++ b/collects/tests/typed-scheme/succeed/star-sizes.ss @@ -0,0 +1,6 @@ +#lang typed-scheme + +(: f (All (a) ((Integer a * -> Integer) -> Integer))) +(define (f g) 0) + +(f +) \ No newline at end of file diff --git a/collects/tests/typed-scheme/unit-tests/infer-tests.ss b/collects/tests/typed-scheme/unit-tests/infer-tests.ss index 9dc5830550..46a30545ba 100644 --- a/collects/tests/typed-scheme/unit-tests/infer-tests.ss +++ b/collects/tests/typed-scheme/unit-tests/infer-tests.ss @@ -1,6 +1,6 @@ #lang scheme/base (require "test-utils.ss" (for-syntax scheme/base)) -(require (private planet-requires type-effect-convenience type-rep unify union infer type-utils) +(require (private planet-requires type-effect-convenience type-rep union infer type-utils) (prefix-in table: (private tables))) (require (schemeunit))