suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added new test for constraint solving on starred functions with different fixed arg lengths.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-11 11:41:46 -04:00
parent 4ae4141257
commit 97847c32c4
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/typed-scheme/succeed/star-sizes.ss Normal file
View File

@ -0,0 +1,6 @@
#lang typed-scheme
(: f (All (a) ((Integer a * -> Integer) -> Integer)))
(define (f g) 0)
(f +)

2
collects/tests/typed-scheme/unit-tests/infer-tests.ss
View File

@ -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))