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