From cb7ab0f8ad46c54667950b7b37ff84eb71e87a5a Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 18 Aug 2010 16:35:03 -0400 Subject: [PATCH] Provide -> in typed-scheme/no-check. - Closes PR 10882 original commit: 90eeef60d73229217f87b847b38d180e6a929301 --- .../tests/typed-scheme/succeed/typed-scheme-no-check-arrow.rkt | 3 +++ collects/typed-scheme/no-check.rkt | 3 ++- 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 collects/tests/typed-scheme/succeed/typed-scheme-no-check-arrow.rkt diff --git a/collects/tests/typed-scheme/succeed/typed-scheme-no-check-arrow.rkt b/collects/tests/typed-scheme/succeed/typed-scheme-no-check-arrow.rkt new file mode 100644 index 00000000..bfa511c1 --- /dev/null +++ b/collects/tests/typed-scheme/succeed/typed-scheme-no-check-arrow.rkt @@ -0,0 +1,3 @@ +#lang typed-scheme/no-check +(: foo : Void -> Void) +(define (foo x) x) \ No newline at end of file diff --git a/collects/typed-scheme/no-check.rkt b/collects/typed-scheme/no-check.rkt index ed542f85..fb1ac85d 100644 --- a/collects/typed-scheme/no-check.rkt +++ b/collects/typed-scheme/no-check.rkt @@ -3,10 +3,11 @@ (require (except-in "private/prims.rkt" require/typed require/opaque-type require-typed-struct) + "private/base-types-extra.rkt" (for-syntax scheme/base syntax/parse syntax/struct)) (provide (all-from-out scheme/base) (all-defined-out) - (all-from-out "private/prims.rkt")) + (all-from-out "private/prims.rkt" "private/base-types-extra.rkt")) (define-syntax (require/typed stx)