suzanne.soy/typed-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 
original commit: 97847c32c4dd3d55baa3ff2b7a5ac9f7ed0b83fe
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-11 11:41:46 -04:00
parent 15f6c532e6
commit f750b30c2f
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))