From 59971400af1118b7da5a59589dbc07ddfb3fbb71 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 3 May 2010 11:33:42 -0400 Subject: [PATCH] change error message for `define:' (fixes PR 10883) original commit: 55929072bb5b8cb35a113678690418fde048390d --- collects/typed-scheme/private/prims.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/prims.rkt b/collects/typed-scheme/private/prims.rkt index 674dce39..ec2dd433 100644 --- a/collects/typed-scheme/private/prims.rkt +++ b/collects/typed-scheme/private/prims.rkt @@ -199,7 +199,7 @@ This file defines two sorts of primitives. All of them are provided into any mod (syntax/loc stx (define: nm : arrty (lambda: formals body ...))))] - [(define: nm:id ~! (~describe "type annotation" (~seq : ty)) body) + [(define: nm:id ~! (~describe ":" :) (~describe "type" ty) body) (identifier? #'nm) (with-syntax ([new-nm (syntax-property #'nm 'type-label #'ty)]) (syntax/loc stx (define new-nm body)))]