From f750b30c2f902f0caeeabef77332e2c51efd8c96 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. original commit: 97847c32c4dd3d55baa3ff2b7a5ac9f7ed0b83fe --- 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 00000000..6d04d748 --- /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 9dc58305..46a30545 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))