From 3edcfaf5f5558d2ac1ba7898a2c4f0c13b038659 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 4 Mar 2010 21:42:55 +0000 Subject: [PATCH] fix PR10810 svn: r18470 original commit: e703d52b945d51623a781dc97eda74a10430e1f9 --- collects/typed-scheme/private/colon.ss | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/typed-scheme/private/colon.ss b/collects/typed-scheme/private/colon.ss index 5e1776df..833d9fd3 100644 --- a/collects/typed-scheme/private/colon.ss +++ b/collects/typed-scheme/private/colon.ss @@ -39,6 +39,9 @@ (define (err str . sub) (apply raise-syntax-error '|type declaration| str stx sub)) (syntax-parse stx* + [_ + #:when (eq? 'expression (syntax-local-context)) + (err "must be used in a definition context")] [(_ i:id ty) (syntax-property (internal (syntax/loc stx (:-internal i ty))) 'disappeared-use #'i)]