diff --git a/collects/tests/mzscheme/contracts.ss b/collects/tests/mzscheme/contracts.ss index fd93d78..1beafb5 100644 --- a/collects/tests/mzscheme/contracts.ss +++ b/collects/tests/mzscheme/contracts.ss @@ -459,6 +459,17 @@ (i 1)) "<>") + (test/spec-passed + 'define/contract6 + '(let () + (define/contract contracted-func + (string? string? . -> . string?) + (lambda (label t) + t)) + (contracted-func + "I'm a string constant with side effects" + "ans"))) + (test/spec-passed 'provide/contract1 '(let ()